An introduction to practical formal methods using temporal logic

Bibliografiset tiedot
Päätekijä:	Fisher, Michael 1962-
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Chichester, West Sussex, U.K. Wiley 2011.
Aiheet:	Temporal automata. Logic, Symbolic and mathematical.