?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-28729-9_13&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Bernardo%2C+Marco&rft.aufirst=Marco&rft.aulast=Bernardo&rft.title=Revisiting+Trace+and+Testing+Equivalences+for+Nondeterministic+and+Probabilistic+Processes&rft.date=2012&rft.btitle=Foundations+of+Software+Science+and+Computational+Structures&rft.isbn=978-3-642-28728-2&rft.genre=bookitem