@inproceedings{DBLP:conf/tgc/BernardoNL10,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Uniform Labeled Transition Systems for Nondeterministic,
Probabilistic, and Stochastic Processes},
booktitle = {TGC},
year = {2010},
pages = {35-56},
ee = {http://dx.doi.org/10.1007/978-3-642-15640-3_3},
crossref = {DBLP:conf/tgc/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tgc/2010,
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Trustworthly Global Computing - 5th International Symposium,
TGC 2010, Munich, Germany, February 24-26, 2010, Revised
Selected Papers},
booktitle = {TGC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6084},
year = {2010},
isbn = {978-3-642-15639-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15640-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
