Model-Checking Process Equivalences

MLA

Lange, Martin, et al. Model-Checking Process Equivalences. 2012. EBSCOhost, https://doi.org/10.4204/EPTCS.96.4.

APA

Lange, M., Lozes, E., & Guzmán, M. V. (2012). Model-Checking Process Equivalences. https://doi.org/10.4204/EPTCS.96.4

Chicago

Lange, Martin, Etienne Lozes, and Manuel Vargas Guzmán. 2012. “Model-Checking Process Equivalences.” doi:10.4204/EPTCS.96.4.