Login / Signup

Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.

Gethin NormanCatuscia PalamidessiDavid ParkerPeng Wu
Published in: IEEE Trans. Software Eng. (2009)
Keyphrases