%0 Conference Paper %1 conf/qest/NormanPPW07 %A Norman, Gethin %A Palamidessi, Catuscia %A Parker, David %A Wu, Peng %B QEST %D 2007 %I IEEE Computer Society %K dblp %P 169-178 %T Model checking the probabilistic pi-calculus. %U http://dblp.uni-trier.de/db/conf/qest/qest2007.html#NormanPPW07 %@ 0-7695-2883-X

@inproceedings{conf/qest/NormanPPW07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Norman, Gethin and Palamidessi, Catuscia and Parker, David and Wu, Peng}, biburl = {https://www.bibsonomy.org/bibtex/22cca50e03a3072e4b0652c67091d43d9/dblp}, booktitle = {QEST}, crossref = {conf/qest/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2007.31}, interhash = {5b877980d1c7dcfe517e5df4ecb16572}, intrahash = {2cca50e03a3072e4b0652c67091d43d9}, isbn = {0-7695-2883-X}, keywords = {dblp}, pages = {169-178}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:42.000+0200}, title = {Model checking the probabilistic pi-calculus.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2007.html#NormanPPW07}, year = 2007 }