External Links

Cite Key

Statistics

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

PDF

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.

VIP: A Visual Interface for Promela

Moataz Kamel, Stefan Leue. VIP: A Visual Interface for Promela. In Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink, editors, Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings. Volume 1680 of Lecture Notes in Computer Science, pages 153, Springer, 1999. [doi]

Authors

Moataz Kamel

This author has not been identified. Look up 'Moataz Kamel' in Google

Stefan Leue

This author has not been identified. Look up 'Stefan Leue' in Google
runs on