Views
Image:PublicationENTCS2006.pdf
From MCRL2
PublicationENTCS2006.pdf (file size: 198 KB, MIME type: application/pdf)
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Proc. Workshop Essays on Algebraic Process Calculi (APC 25). ENTCS 162 (2006), pp 191-196.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 15:27, 26 April 2007 | (198 KB) | Sploeger (Talk | contribs) | (Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Proc. Workshop Essays on Algebraic Process Calculi (APC 25). ENTCS 162 (2006), pp 191-196.) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
Links
There are no pages that link to this file.
This page was last modified on 26 April 2007, at 15:27. This page has been accessed 1,040 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
