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:30 - 8 self