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.

dSPIN: A Dynamic Extension of SPIN

Claudio Demartini, Radu Iosif, Riccardo Sisto. dSPIN: A Dynamic Extension of SPIN. 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 261-276, Springer, 1999. [doi]

Authors

Claudio Demartini

This author has not been identified. Look up 'Claudio Demartini' in Google

Radu Iosif

This author has not been identified. Look up 'Radu Iosif' in Google

Riccardo Sisto

This author has not been identified. Look up 'Riccardo Sisto' in Google
runs on