Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:47:38 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||