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