?url_ver=Z39.88-2004&rft_id=10.2168%2FLMCS-10(1%3A16)2014&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Marco&rft.aulast=Bernardo&rft.au=Bernardo%2C+Marco&rft.volume=10&rft.issue=1&rft.pages=1-42&rft.title=Logical+Methods+in+Computer+Science&rft.atitle=Revisiting+Trace+and+Testing+Equivalences+for+Nondeterministic+and+Probabilistic+Processes+&rft.date=March+2014&rft.issn=1860-5974&rft.genre=article