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.

Dogfooding the Formal Semantics of mCRL2

Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote. Dogfooding the Formal Semantics of mCRL2. In Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. pages 90-99, IEEE Computer Society, 2012. [doi]

Authors

Frank P. M. Stappers

This author has not been identified. Look up 'Frank P. M. Stappers' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google

Sven Weber

This author has not been identified. Look up 'Sven Weber' in Google

Jan Friso Groote

Identified as Jan Friso Groote
runs on