Full Text Available
Access Full Text at Repository
Search Results - "mCRL2"
-
A new dialect of SOFL-Syntax formal semantics and tool support
Published 2019Subjects: “…mCRL2…”
Get full text
Thesis