Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2008
Barnat, J. and Brim, L. and Šimeček, P. and Weber, Michael
(2008)
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary.
pp. 48-62.
Lecture Notes in Computer Science 4963.
Springer Verlag.
ISBN 978-3-540-78799-0
This list was generated on Thu May 24 07:51:49 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||