Model checking of probabilistic timed and hybrid systems
By: by Jeremy James Sproston.
Publisher: University of Birmingham
Published: 2000
Place of publication: Birmingham
Language: eng
Number of pages: 260
Notes: Thesis (Ph.D) - University of Birmingham, School of Computer Science, Faculty of Science, 2001.