Paper

Type
INPROCEEDINGS  
Title
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes  
Authors
Marco Bernardo, Rocco De Nicola, Michele Loreti 
Editors
Lars Birkedal  
Book
FoSSaCS  
Pages
195-209  
Volume
7213  
Year
2012  
Bibtex key
DBLP:conf/fossacs/BernardoNL12  
Bibtex
@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}
}
 
Created
2012-04-04 09:40:39  
Modified
2012-04-04 09:40:39