%0 Conference Paper %1 journals/corr/DArgenioLG15 %A D'Argenio, Pedro R. %A Lee, Matias David %A Gebler, Daniel %B EXPRESS/SOS %D 2015 %E Crafa, Silvia %E Gebler, Daniel %K dblp %P 31-45 %T SOS rule formats for convex and abstract probabilistic bisimulations. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs190.html#DArgenioLG15 %V 190

@inproceedings{journals/corr/DArgenioLG15, added-at = {2018-11-02T00:00:00.000+0100}, author = {D'Argenio, Pedro R. and Lee, Matias David and Gebler, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2c970a3cb6f32f9b3d35cebcb014a1791/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/CrafaG15}, editor = {Crafa, Silvia and Gebler, Daniel}, ee = {http://arxiv.org/abs/1508.06710}, interhash = {aeffbc94cda93a416ff292800dcaf9a1}, intrahash = {c970a3cb6f32f9b3d35cebcb014a1791}, keywords = {dblp}, pages = {31-45}, series = {EPTCS}, timestamp = {2019-10-10T11:39:05.000+0200}, title = {SOS rule formats for convex and abstract probabilistic bisimulations.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs190.html#DArgenioLG15}, volume = 190, year = 2015 }