The Formal Specification Language mCRL2 (2007)
by
Jan Friso Groote
,
Aad Mathijssen
,
Michel Reniers
,
Yaroslav Usenko
,
Muck Van Weerdenburg
| Venue: | In Proceedings of the Dagstuhl Seminar |
| Citations: | 21 - 7 self |
Document Versions
| The Formal Specification Language mCRL2 –Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck Van Weerdenburg — 2007 — In Proceedings of the Dagstuhl Seminar |
