%0 Conference Paper %1 conf/lics/BonchiSV19 %A Bonchi, Filippo %A Sokolova, Ana %A Vignudelli, Valeria %B LICS %D 2019 %I IEEE %K dblp %P 1-14 %T The Theory of Traces for Systems with Nondeterminism and Probability. %U http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19 %@ 978-1-7281-3608-0

@inproceedings{conf/lics/BonchiSV19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and Sokolova, Ana and Vignudelli, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2b8059b52d45b920a54763d6a2102c724/dblp}, booktitle = {LICS}, crossref = {conf/lics/2019}, ee = {https://doi.org/10.1109/LICS.2019.8785673}, interhash = {c4a5388c4c7a95289f4e85420534f19b}, intrahash = {b8059b52d45b920a54763d6a2102c724}, isbn = {978-1-7281-3608-0}, keywords = {dblp}, pages = {1-14}, publisher = {IEEE}, timestamp = {2024-04-10T20:03:44.000+0200}, title = {The Theory of Traces for Systems with Nondeterminism and Probability.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19}, year = 2019 }