Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
61-80 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Temporal Logic:     more books (100)
  1. Automatic and hierarchical verification of asynchronous circuits using temporal logic by B Mishra, 1983
  2. Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by Martín Abadi, 1987
  3. Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson, 1985
  4. Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne, 1987
  5. Compiling temporal logic specifications into observers =: Compiler des spécifications exprimées en logique temporelle vers des observateurs (Rapports ... Recherche en Informatique et en Automatique) by Omar Drissi-Kaitouni, 1988
  6. Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi, 1988
  7. Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell, 1987
  8. On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla, 1987
  9. Gorski: Temporal Logic
  10. Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke, 1987
  11. Temporal logics, automata, and classical theories for defining real-time languages (Report) by T. A Henzinger, 1999
  12. Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1987
  13. Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard, 2002
  14. Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1988

lists with details

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  
61-80 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20