Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/lmcs/BonchiSV22
%A Bonchi, Filippo
%A Sokolova, Ana
%A Vignudelli, Valeria
%D 2022
%J Log. Methods Comput. Sci.
%K dblp
%N 2
%T The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.
%U http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#BonchiSV22
%V 18
@article{journals/lmcs/BonchiSV22,
added-at = {2023-01-24T00:00:00.000+0100},
author = {Bonchi, Filippo and Sokolova, Ana and Vignudelli, Valeria},
biburl = {https://www.bibsonomy.org/bibtex/219078197741eea51fbe100b4ba0a58e4/dblp},
ee = {https://doi.org/10.46298/lmcs-18(2:21)2022},
interhash = {7f81b840f82877ea4929f6b8ed683ac9},
intrahash = {19078197741eea51fbe100b4ba0a58e4},
journal = {Log. Methods Comput. Sci.},
keywords = {dblp},
number = 2,
timestamp = {2024-04-09T01:50:57.000+0200},
title = {The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.},
url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#BonchiSV22},
volume = 18,
year = 2022
}
