External Links

Cite Key

Statistics

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

PDF

Tags

Bibliographies

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.

EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax

Bob de Vos, Lennart C. L. Kats, Cornelis Pronk. EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. In Model Checking Software. Proceedings of the 18th International SPIN Workshop. Volume 6823 of Lecture Notes in Computer Science, pages 177-182, Springer, 2011. [doi]

Authors

Bob de Vos

This author has not been identified. Look up 'Bob de Vos' in Google

Lennart C. L. Kats

Identified as Lennart C. L. Kats
(Delft University of Technology, The Netherlands
)

Cornelis Pronk

This author has not been identified. Look up 'Cornelis Pronk' in Google
runs on