External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model-Checking for Real-Time Systems Specified in Lotos

Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui. Model-Checking for Real-Time Systems Specified in Lotos. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 288-301, Springer, 1992.

Authors

Nathalie Rico

This author has not been identified. Look up 'Nathalie Rico' in Google

Gregor von Bochmann

This author has not been identified. Look up 'Gregor von Bochmann' in Google

Omar Cherkaoui

Identified as Omar Cherkaoui
runs on