Tree regular model checking: A simulation-based approach
Parosh Aziz Abdulla, Axel Legay, Julien d’Orso, Ahmed RezineVolume:
69
Year:
2006
Language:
english
Pages:
29
DOI:
10.1016/j.jlap.2006.02.001
File:
PDF, 319 KB
english, 2006