Rastislav Lenhardt : Publications
-
[1]
Probabilistic Automata with Parameters
Rastislav Lenhardt
Master's Thesis 2009.
Details about Probabilistic Automata with Parameters | BibTeX data for Probabilistic Automata with Parameters | Download (pdf) of Probabilistic Automata with Parameters
-
[2]
Composite Mathematical Games
Rastislav Lenhardt
2007.
Details about Composite Mathematical Games | BibTeX data for Composite Mathematical Games | Download (pdf) of Composite Mathematical Games