@inproceedings{DBLP:conf/fossacs/BernardoNL12,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Revisiting Trace and Testing Equivalences for Nondeterministic
and Probabilistic Processes},
booktitle = {FoSSaCS},
year = {2012},
pages = {195-209},
ee = {http://dx.doi.org/10.1007/978-3-642-28729-9_13},
crossref = {DBLP:conf/fossacs/2012},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fossacs/2012,
editor = {Lars Birkedal},
title = {Foundations of Software Science and Computational Structures
- 15th International Conference, FOSSACS 2012, Held as Part
of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April
1, 2012. Proceedings},
booktitle = {FOSSACS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7213},
year = {2012},
isbn = {978-3-642-28728-2},
ee = {http://dx.doi.org/10.1007/978-3-642-28729-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
