FI MU Report Series
FI MU Reports by Author - E
-
Javier Esparza
e-mail: esparza(a)in.tum.de
Publications in FI MU Report Series:
- Model Checking Probabilistic Pushdown Automata
- by
Javier Esparza,
Antonin Kucera,
Richard Mayr,
A full version of the paper presented at LICS`04. July 2004, 34 pages.
FIMU-RS-2004-03.
Abstract,
Postscript,
PDF.
- A Logical Viewpoint on Process-Algebraic Quotients
- by
Antonin Kucera,
Javier Esparza,
This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01.
Abstract,
Postscript,
PDF.
FI MU Report Series