Sciweavers

QEST
2007
IEEE

Model checking the probabilistic pi-calculus

14 years 5 months ago
Model checking the probabilistic pi-calculus
Gethin Norman, Catuscia Palamidessi, David Parker,
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where QEST
Authors Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002
Comments (0)