%0 Conference Paper %1 conf/ifip2/GiacaloneJS90 %A Giacalone, Alessandro %A Jou, Chi-Chang %A Smolka, Scott A. %B Programming Concepts and Methods %D 1990 %E Broy, Manfred %E Jones, Cliff B. %I North-Holland %K dblp %P 443-458 %T Algebraic Reasoning for Probabilistic Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/ifip2/pcm1990.html#GiacaloneJS90 %@ 0-444-88545-5

@inproceedings{conf/ifip2/GiacaloneJS90, added-at = {2019-01-21T00:00:00.000+0100}, author = {Giacalone, Alessandro and Jou, Chi-Chang and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/28a3f39118ae1eb1ad8f2fca700544af4/dblp}, booktitle = {Programming Concepts and Methods}, crossref = {conf/ifip2/1990}, editor = {Broy, Manfred and Jones, Cliff B.}, interhash = {e4f93dbf57c7808799bc740de40751f3}, intrahash = {8a3f39118ae1eb1ad8f2fca700544af4}, isbn = {0-444-88545-5}, keywords = {dblp}, pages = {443-458}, publisher = {North-Holland}, timestamp = {2024-04-09T20:02:07.000+0200}, title = {Algebraic Reasoning for Probabilistic Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/pcm1990.html#GiacaloneJS90}, year = 1990 }