@Inproceedings{BDL12,
   joint-pub = {true},
   status = {public},
   task = {T2.1},
   publisher = {Springer},
   doi = {10.1007/978-3-642-28729-9_13},
   booktitle = {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},
   series = {Lecture Notes in Computer Science},
   year = {2012},
   isbn = {978-3-642-28728-2},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7213},
   main = {no},
   accessible = {true},
   title = {{Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes}},
   author = {Marco Bernardo and Rocco De Nicola and Michele Loreti},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UDF,IMT},
   wp = {wp2},
   pages = {195-209}
}