31458429
9781249075585
Out of Stock
The item you're looking for is currently unavailable.
Paul Jennings is the author of 'Unbounded-2-bounded: A two-phase approximation for model checking unbounded until properties of probabilistic system.', published 2012 under ISBN 9781249075585 and ISBN 1249075580.
[read more]