Edit search
Fortuna%3A Model Checking Priced Probabilistic Timed Automat…
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
eBook
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
Authors: Berendsen
Page: 273-281
ISBN: 9780769541884
  Request a copy of this item
Cite this item