UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Mr Robin Donaldson' ordered by Year. (1)

2008

2008

A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints
Donaldson,R. Gilbert,D. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].