Back to Results
First PageMeta 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
UPDATE