Protocol Verification in mCRL

Authors
Supervisors
Publication date 1994
Number of pages 120
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Permalink to this page
Back