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

e99.com Bookstore
  
Images 
Newsgroups
Page 6     101-102 of 102    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  

         Logic Temporal:     more books (100)
  1. Executable Modal and Temporal Logics by Michael Fisher, 2007
  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. Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989
  4. 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
  5. Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande, 1994
  6. Hierarchical planning using temporal logic (Tech report) by Michael J Manthey, 1984
  7. Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande, 1994
  8. The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna, 1991-01-01
  9. Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana, 1988
  10. A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley, 1986
  11. Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen, 1987
  12. Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute, 1985
  13. Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski, 1983
  14. Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller, 1986

101. Ramanujam, R.
Institute of Mathematical Sciences, Chennai Theory of distributed systems, temporal logics, Partial order models of concurrency, Logics of knowledge.
http://www.imsc.ernet.in/~jam/

102. Stirling, Colin
University of Edinburgh Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://www.dcs.ed.ac.uk/~cps/

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-102 of 102    Back | 1  | 2  | 3  | 4  | 5  | 6 

free hit counter