FI MU Report Series

FI MU Reports by Author - E

Javier Esparza

e-mail: esparza(a)

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