When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Orna Grumberg, Martin Lange, Martin Leucker, Sharon ShohamVolume:
205
Year:
2007
Language:
english
Pages:
19
DOI:
10.1016/j.ic.2006.10.009
File:
PDF, 376 KB
english, 2007