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 π -calculusAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 299,68 KBShare Document on Facebook |