Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2008
Blom, S.C.C. and van de Pol, J.C.
(2008)
Symbolic Reachability for Process Algebras with Recursive Data Types.
In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey.
pp. 81-95.
Lecture Notes in Computer Science 5160.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-85761-7
This list was generated on Thu May 24 08:46:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||