Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4574
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” in Proceedings of the 18th international conference on Computer Aided Verification, Seattle, WA, United States, 2006, vol. 4144, pp. 532–546.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4406
M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” in Proceedings of the 18th international conference on Computer Aided Verification, Seattle, WA, United States, 2006, vol. 4144, pp. 17–30.
View | DOI
 

Filters and Search Terms

isbn=9783540374060

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed