EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Haxthausen, A.E.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon May 29 01:15:37 CEST 2017.