I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Probabilistic Timed Systems with Non-Determinism

Reference:

Jan Kretinsky. Probabilistic timed systems with non-determinism. PhD Thesis proposal, Masaryk University, Brno, Dept. of Computer Science, 2011.

Suggested BibTeX entry:

@misc{phdproposal:Kretinsky2011,
    author = {Jan Kretinsky},
    howpublished = {PhD Thesis proposal, Masaryk University, Brno, Dept. of Computer Science},
    title = {Probabilistic Timed Systems with Non-Determinism},
    year = {2011}
}

This work is not available online here.