![](https://www.pdfsearch.io/img/01e3a1fbda354029264d78f5c3fc88da.jpg) Date: 2008-08-28 05:24:01
| | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculusAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 299,68 KBShare Document on Facebook
|