An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic
Autor
Michael Fisher
Matèria
Editor
Wiley
Data publicació
2011
Identificador
9781119991472
Col·lecció
Accés
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119991472