Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1995
Mader, A.H.
(1995)
Modal µ-Calculus, Model Checking and Gauß Elimination.
In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark.
pp. 72-88.
Springer-Verlag.
ISBN 3-540-60630-0
This list was generated on Thu May 24 05:53:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||