Views
Image:PresentationIPABCFM2008.pdf
From MCRL2
PresentationIPABCFM2008.pdf (file size: 4.32 MB, MIME type: application/pdf)
Aad Mathijssen, Bas Ploeger, Frank Stappers, Tim Willemse. Behaviour Analysis using mCRL2. IPA Course on Formal Methods, Eindhoven University of Technology, 26th June 2008.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 10:01, 15 October 2008 | (4.32 MB) | Sploeger (Talk | contribs) | (Aad Mathijssen, Bas Ploeger, Frank Stappers, Tim Willemse. Behaviour Analysis using mCRL2. IPA Course on Formal Methods, Eindhoven University of Technology, 26th June 2008. ) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
Links
The following page links to this file:
This page was last modified on 15 October 2008, at 10:01. This page has been accessed 829 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
