Report copyright - Finite sets in mCRL2alexandria.tue.nl/extra1/afstversl/wsk-i/louwers2007.pdf · 2008-05-16 · mCRL2 is a formal specification language and an overview of mCRL2 can be found in [4]
Please pass captcha verification before submit form
Please pass captcha verification before submit form