IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

First Page		Document Content
Date: 2008-08-28 05:24:01		IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 299,68 KB Share Document on Facebook