Logo Universität Bremen

http://www.informatik.uni-bremen.de

Universität Bremen - Fachbereich 3 - Informatik

  DRUCKEN  


Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Presentation and demonstration of the mCRL2 toolset and its underlying verification technology (application/pdf 113.0 KB)


Presentation and demonstration of the mCRL2 toolset and its underlying verification technology

 



zurück  






  DRUCKEN