Department of Informatics

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

TUM
 
PDF-Datei BibTeX

@article {leucker_infoComp07,
    author = {Orna Grumberg and Martin Lange and Martin Leucker and Sharon Shoham},
    title = {{When not losing is better than winning: Abstraction and refinement for the full mu-calculus}},
    journal = {Information and Computation},
    year = {2007},
    volume = {205},
    pages = {1130--1148}
}
  
HTML Version

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