Login / Signup
When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Orna Grumberg
Martin Lange
Martin Leucker
Sharon Shoham
Published in:
Inf. Comput. (2007)
Keyphrases
</>
high level
database
development environment
search engine
data abstraction