Login / Signup

Branching-time model-checking of probabilistic pushdown automata.

Tomás BrázdilVáclav BrozekVojtech ForejtAntonín Kucera
Published in: J. Comput. Syst. Sci. (2014)
Keyphrases