IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus - Calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus Add to Reading List Document Date: 2008-08-28 05:24:01 Open Document File Size: 299,68 KB Share Result on Facebook

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculusAdd to Reading List