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: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. Proceedings of the 18th international conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
View
| DOI