An edition of Temporal logic and state systems (2008)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
By Fred Kröger,Stephan Merz
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
April 2008
Publisher
Springer
Language
eng
Pages
424
Description: