Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2007
Chen, Taolue and Ploeger, S.C.W. and van de Pol, J.C. and Willemse, T.A.C.
(2007)
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
In: CONCUR 2007 - Concurrency Theory, 3-8 Sep 2007, Lisbon, Portugal.
pp. 120-135.
Lecture Notes in Computer Science 4703.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-74406-1
This list was generated on Thu May 24 05:45:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||