EEMCS

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

EEMCS EPrints Service


Editor: Zhang, W.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2006

Wimmer, R. and Herbstritt, M. and Hermanns, H. and Strampp, K. and Becker, B. (2006) Sigref - A Symbolic Bisimulation Tool Box. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, 23-26 October 2006, Beijing, China. pp. 477-492. Lecture notes in Computer Science 4218. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-47237-7

This list was generated on Mon May 29 07:24:29 CEST 2017.