Fortuna%3A Model Checking Priced Probabilistic Timed Automat…
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
eBook
Authors:
J. Berendsen
Page:
273
Published:
2010
ISBN:
9780769541884
We were unable to find direct full text links for this item.