by
Fisher, Michael, 1962-
Format:
Electronic Resources
Excerpt:
An introduction to practical formal methods using temporal logic / Fisher, Michael, 1962-
by
Fisher, Michael, 1962-
Format:
Electronic Resources
Excerpt:
An introduction to practical formal methods using temporal logic Fisher, Michael, 1962-
View Other Search Results
by
Fisher, Michael, 1962-
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Publisher description http://www.loc.gov/catdir/enhancements/fy0713/2005042501-d.html
Table of contents only http://www.loc.gov/catdir/enhancements/fy0624/2005042501-t.html
Publisher description http://www.loc.gov/catdir/enhancements/fy0713/2005042501-d.html
Table of contents only http://www.loc.gov/catdir/enhancements/fy0624/2005042501-t.html
Format:
Electronic Resources
Excerpt:
. -- "Time Granularity", Jerome Euzenat and Angelo Montanari. -- "Modal Varieties of Temporal Logic", Howard
Limit Search Results
Narrowed by: