%0 Conference Paper %1 conf/concur/StarkCS03 %A Stark, Eugene W. %A Cleaveland, Rance %A Smolka, Scott A. %B CONCUR %D 2003 %E Amadio, Roberto M. %E Lugiez, Denis %I Springer %K dblp %P 189-203 %T A Process-Algebraic Language for Probabilistic I/O Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2003.html#StarkCS03 %V 2761 %@ 3-540-40753-7

@inproceedings{conf/concur/StarkCS03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Stark, Eugene W. and Cleaveland, Rance and Smolka, Scott A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2096a5fbba06c41739e0c142b1e7729e5/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2003}, editor = {Amadio, Roberto M. and Lugiez, Denis}, ee = {https://doi.org/10.1007/978-3-540-45187-7_13}, interhash = {e31c86615492fcbd8de6fcafa258e280}, intrahash = {096a5fbba06c41739e0c142b1e7729e5}, isbn = {3-540-40753-7}, keywords = {dblp}, pages = {189-203}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:10.000+0200}, title = {A Process-Algebraic Language for Probabilistic I/O Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2003.html#StarkCS03}, volume = 2761, year = 2003 }