vix.ing
·
top
·
new
·
best
·
stats
·
spec
Groote, Jan Friso
Tutorial: Designing Distributed Software in mCRL2
2021/04/21 by
Groote, Jan Friso
,
Keiren, Jeroen J. A.
· 1 citation
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)