Login / Signup
Rob Wieringa
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Ims Ld
Modelling Language
Formal Semantics
Databases
Top Venues
FMICS-AVoCS
</>
Publications
</>
Rutger van Beusekom
,
Jan Friso Groote
,
Paul F. Hoogendijk
,
Robert Howe
,
Wieger Wesselink
,
Rob Wieringa
,
Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2.
FMICS-AVoCS
(2017)