DMCA

Counterexamples for timed probabilistic reachability (2005)

by Husain Aljazzar , Holger Hermanns , Stefan Leue
Venue:FORMATS. VOLUME 3829 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:21 - 10 self