Paper

Type
INPROCEEDINGS  
Title
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes  
Authors
Marco Bernardo, Rocco De Nicola, Michele Loreti 
Editors
Martin Wirsing, Martin Hofmann, Axel Rauschmayer  
Book
TGC  
Pages
35-56  
Volume
6084  
Year
2010  
Bibtex key
DBLP:conf/tgc/BernardoNL10  
Bibtex
@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}
}
 
Created
2012-04-04 09:40:41  
Modified
2012-04-04 09:40:41