Two methods for checking formulas of temporal logic
Hugh W. McGuire
Two methods for checking formulas of temporal logic
×Close
There's no description for this book yet. Can you add one?
1 edition First published in 1995
| Edition | Read | Locate | Buy |
|---|---|---|---|
0
Two methods for checking formulas of temporal logic
1995, Dept. of Computer Science, Stanford University
in English
|
|
Libraries near you:
|
|
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| February 6, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |