Fixpoint Guided Abstraction Refinement for Alternating Automata

Technical Report PDF: 
Technical Report Number: 
2009.109
TitleFixpoint Guided Abstraction Refinement for Alternating Automata
Publication TypeConference Paper
Year of Publication2009
AuthorsGanty, P, Maquet N, Raskin J-F
Conference NameCIAA