Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
81-83 of 83    Back | 1  | 2  | 3  | 4  | 5 
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. Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern, 1985
  2. A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman, 1988
  3. The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik) by A Kausche, 1985
  4. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988
  5. A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989
  6. Alternating-time temporal logic (Memorandum) by Rajeev Alur, 1998
  7. Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart, 1985
  8. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986
  9. An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne, 1986
  10. Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation) by Ana R Cavalli, 1985
  11. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
  12. Temporal Logic by Dov M. Gabbay, 2000
  13. On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986
  14. A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal, 1986

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  
81-83 of 83    Back | 1  | 2  | 3  | 4  | 5