Original language | American English |
---|---|
Title of host publication | Logics And Languages For Reliability And Security |
Editors | J Esparza, B Spanfelner, O Grumberg |
Publisher | IOS Press |
Pages | 179-194 |
Number of pages | 16 |
DOIs | |
State | Published - 2010 |
Keywords
- Automata
- Lattices
- Online algorithms