Geometry.Net - the online learning center
Home  - Science - Temporal Logic

e99.com Bookstore
  
Images 
Newsgroups
Page 6     101-104 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6 
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. Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science) by George K Tsiknis, 1988
  2. The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla, 1986
  3. Temporal Logic (LEP Library of Exact Philosophy) by Nicholas Rescher, Alasdair Urquhart, 1971-08-18
  4. On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology) by Kazuko Takahashi, 1986
  5. A taxonomy of fairness and temporal logic problems for Petri nets (Technical report. Iowa State University. Dept. of Computer Science) by Rodney R Howell, 1988
  6. A temporal logic for multi-level reasoning about hardware by Ben Moszkowski, 1982
  7. Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1989
  8. Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 by Mark Reynolds, 2003-01-01
  9. A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report) by Naoshi Uchihira, 1989
  10. Temporal Logic by Dov M. Gabbay, 2007
  11. Automatic verification of finite state concurrent systems using temporal logic specifications (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Edmund Melson Clarke, 1985
  12. Two methods for checking formulas of temporal logic (Report) by Hugh W McGuire, 1995
  13. Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff, 2003-01-01
  14. Modal and temporal logics (LFCS report series) by Colin Stirling, 1991

101. Discrete Event Models + Temporal Logic = Supervisory Controller
Discrete Event Models + temporal logic = Supervisory Controller AutomaticSynthesis of Locomotion Controllers. M. Antoniotti and
http://csdocs.cs.nyu.edu/Dienst/UI/2.0/Describe/ncstrl.nyu_cs/TR1994-675

102. ECS EPrints Database - Propositional Linear Temporal Logic And
Propositional Linear temporal logic and Language. Nitsche, Ulrich (1994)Propositional Linear temporal logic and Language. In Nerode
http://eprints.ecs.soton.ac.uk/archive/00002676/

103. Manchester Metropolitan University
Department of Computing and Mathematics, logic and Computation Group. Research projects Proof Methods for NonClassical logics; temporal and Modal logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
http://www.doc.mmu.ac.uk/RESEARCH/LoCo/

104. Verification Of Reactive Systems And Decision Problems In
Verification of Reactive Systems and Decision Problems in TemporalLogic. Author Salvatore La Torre. Advisor Rajeev Alur. We study
http://www.cis.upenn.edu/~latorre/Thesisdissertation/latorrethesis.html

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  

Page 6     101-104 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6 

free hit counter