Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
An Introduction to Practical Formal Methods Using Temporal Logic
Home
Publications
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Michael Fisher
Open Access
Publisher Website
Google Scholar
Cite
Download
Share
Download
15 April 2011
book
Published by
Wiley
https://doi.org/10.1002/9781119991472
Abstract
No abstract available
Cited by 64 articles