Temporal logic and state systems
Materias
Ediciones (3)
- Temporal Logic and State Systems (2010)
Springer · ISBN 9783642086809
- Temporal Logic and State Systems (2008)
Springer London, Limited · inglés · ISBN 9783540686354
- Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) (2008)
Springer · inglés · ISBN 9783540674016
