Showing 1 - 2 results of 2 for search 'Marcin Jurdzinski', query time: 0.02s Refine Results
  1. 1
    Model Checking Probabilistic Timed Automata with One or Two Clocks

    Model Checking Probabilistic Timed Automata with One or Two Clocks by Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston

    Published 2008-09-01
    Get full text
    Article
  2. 2
    Stochastic Timed Automata

    Stochastic Timed Automata by Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski

    Published 2014-12-01
    Get full text
    Article

Search Tools: