The Formal Specification Language mCRL2 (2007)

Cached

Download Links

by Jan Friso Groote , Aad Mathijssen , Michel Reniers , Yaroslav Usenko , Muck Van Weerdenburg
Venue:In Proceedings of the Dagstuhl Seminar
Citations:29 - 8 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