Texts in Theoretical Computer Science, An Eatcs Series,

書目資訊

temporal logic and state systems
decision procedures
 
 
Change password
Login