Rastislav Lenhardt : Publications

Click here to download all publications in a single bibtex file

@mastersthesis{PAwP,
  title = "Probabilistic Automata with Parameters",
  author = "Rastislav Lenhardt",
  year = "2009",
}

@misc{CMG,
  title = "Composite Mathematical Games",
  author = "Rastislav Lenhardt",
  year = "2007",
}