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
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer, 2006, pp. 532–546.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer, 2006, pp. 532–546.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.