APA (7th ed.) Citation

Best, E., & Esparza, J. (1991). Model checking of persistent Petri nets. Inst. für Informatik.

Chicago Style (17th ed.) Citation

Best, Eike, and Javier Esparza. Model Checking of Persistent Petri Nets. Hildesheim: Inst. für Informatik, 1991.

MLA (9th ed.) Citation

Best, Eike, and Javier Esparza. Model Checking of Persistent Petri Nets. Inst. für Informatik, 1991.