Views
Image:CSReport0714.pdf
From MCRL2
CSReport0714.pdf (file size: 225 KB, MIME type: application/pdf)
T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems. CS-Report 07-14, Eindhoven University of Technology, 2007.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 16:04, 14 October 2008 | (225 KB) | Sploeger (Talk | contribs) | (T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems. CS-Report 07-14, Eindhoven University of Technology, 2007.) |
- 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 14 October 2008, at 16:04. This page has been accessed 657 times.
Copyright © 2005-2010 Technische Universiteit Eindhoven.
Copyright © 2005-2010 Technische Universiteit Eindhoven.
