%0 Journal Article %1 journals/iandc/KlinS13 %A Klin, Bartek %A Sassone, Vladimiro %D 2013 %J Inf. Comput. %K dblp %P 58-83 %T Structural operational semantics for stochastic and weighted transition systems. %U http://dblp.uni-trier.de/db/journals/iandc/iandc227.html#KlinS13 %V 227

@article{journals/iandc/KlinS13, added-at = {2021-02-12T00:00:00.000+0100}, author = {Klin, Bartek and Sassone, Vladimiro}, biburl = {https://www.bibsonomy.org/bibtex/28e24f68e1487b45a6cefee4e4dafd439/dblp}, ee = {https://doi.org/10.1016/j.ic.2013.04.001}, interhash = {3ae0add2ddae9281891dbaa5dbe6292b}, intrahash = {8e24f68e1487b45a6cefee4e4dafd439}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {58-83}, timestamp = {2024-04-09T06:09:39.000+0200}, title = {Structural operational semantics for stochastic and weighted transition systems.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc227.html#KlinS13}, volume = 227, year = 2013 }