A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 - Verification - Document - PDFSEARCH.IO

First Page	Meta Content
	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Document Date: 2010-09-08 19:38:18 Open Document File Size: 706,10 KB Share Result on Facebook

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2Add to Reading List