Fisher, Michael
Introduction to practical formal methods using temporal logic - New york Wiley 2011 - 353
9780470027882
Temporal automata
Logic symbolic and mathematical
510.6 FIS
Introduction to practical formal methods using temporal logic - New york Wiley 2011 - 353
9780470027882
Temporal automata
Logic symbolic and mathematical
510.6 FIS