Edit search
Fortuna%2525253A Model Checking Priced Probabilistic Timed A…
Fortuna%2525253A Model Checking Priced Probabilistic Timed Automata
Fortuna%2525253A Model Checking Priced Probabilistic Timed Automata
eBook
Fortuna%2525253A Model Checking Priced Probabilistic Timed Automata
Authors: J. Berendsen
Page: 273
Published: 2010
ISBN: 9780769541884
  Request a copy of this item
Cite this item