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: J. Berendsen
Page: 273
Published: 2010
ISBN: 9780769541884
  Request a copy of this item
Cite this item