ALASKA: Antichains for Logic, Automata and Symbolic Kripke Structures Analysis

Technical Report PDF: 
Technical Report Number: 
2008.102
TitleALASKA: Antichains for Logic, Automata and Symbolic Kripke Structures Analysis
Publication TypeConference Paper
Year of Publication2008
AuthorsDe Wulf, M, Doyen L, Maquet N, Raskin J-F
Conference NameATVA