Texts in Theoretical Computer Science, An Eatcs Series,

Titles

temporal logic and state systems
decision procedures
 
 
Change password
Login