The real-time graphical interval logic toolset

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 446-449

  Moser, L E ^a   Melliar Smith, P M ^a   Ramakrishna, Y S ^a   Kutty, G ^a   Dillon, L K ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957361725     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_99     Document Type: Conference Paper

References (4)

1. R. Alur and D. Dill, “Automata for modelling real-time systems,” Proceedings of 17th International Conference on Automata Languages and Programming, Warwick University, England (July 1990), LNCS 443, Springer-Verlag, pp. 322-335.
2. D. L. Dill, “Timing assumptions and verification of finite-state concurrent systems,” Proceedings of International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France (June 1989), LNCS 407, Springer-Verlag, pp. 196-212. 3.
3. A. Myers, D. A. Giuse, R. B. Danneberg, B. VanderZanden, D. S. Kosbie, E. Pervin, A. Mickish and P. Marchal, “Garnet: Comprehensive support for graphical, highly interactive user interfaces,” IEEE Computer (November 1990), pp. 71-85.
4. Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith and G. Kutty, “A realtime interval logic and its decision procedure,” Proceedings of Thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India (December 1993), LNCS 761, Springer-Verlag, pp. 173-192.