APA (7th ed.) Citation
(2014). Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes." Logical Methods in Computer Science 2014.
MLA (9th ed.) Citation
"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes." Logical Methods in Computer Science, 2014.
Warning: These citations may not always be 100% accurate.