Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) - TU Dresden - Document - PDFSEARCH.IO

First Page	Meta Content
	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Document Date: 2010-02-01 08:27:12 Open Document File Size: 317,92 KB Share Result on Facebook

UPDATE

Approximate symbolic model checking of continuous-time Markov chains? (extended abstract)Add to Reading List