- Visibly Pushdown Automata: Universality and Inclusion via Antichains Véronique Bruyère Marc Ducobu Olivier Gauwin Mon 15 July 2013
- Antichains for Visibly Pushdown Automata Mizuhito Ogawa Nguyen Van Tang Nao Hirokawa Tue 04 December 2012
- Antichain Algorithms for Finite Automata Laurent Doyen Jean-François Raskin Thu 27 September 2012
- Antichains: A New Algorithm for Checking Universality of Finite Automata M. De Wulf L. Doyen T. Henzinger J. Raskin Thu 27 September 2012
- Antichains for the Automata-Based Approach to Model-Checking Laurent Doyen Jean-Francois Raskin Thu 27 September 2012
- When Simulation Meets Antichains Parosh Abdulla Yu-Fang Chen Lukáš Holík Richard Mayr Tomáš Vojnar Thu 13 September 2012
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
