Views
Image:BRICSNS053.pdf
From MCRL2
BRICSNS053.pdf (file size: 81 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 on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3 (2005), pages 126-131.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 13:16, 15 October 2008 | (81 KB) | Sploeger (Talk | contribs) | (Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3 (2005), pages 126-131.) |
- 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 13:16. This page has been accessed 942 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
