Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  When not losing is better than winning: Abstraction and refinement for the full mu-calculus

Article

Journal:Information and Computation
Author:Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
Volume:205
Pages:1130--1148
Year:2007
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact