∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK - Laboratory techniques - Document - PDFSEARCH.IO

First Page	Meta Content
	∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK Add to Reading List Document Date: 2007-07-13 07:18:18 Open Document File Size: 314,54 KB Share Result on Facebook

∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UKAdd to Reading List