Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Kretinsky-Rehak-Strejcek/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Reachability of Hennessy-Milner properties for weakly extended PRS Publikation auswählen
Mojmír Kȓetínský, Vojtȇch Ȓehák, Jan Strejc̑ek

Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)
Lecture Notes in Computer Science 3821 , 2005, pp. 213-224

Editors  R. Ramanujam, Sandeep Sen
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/11590156_17