APA ציטוט

(2010). Model checking software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.).

Chicago Style (17th ed.) Citation

Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco Van De Pol, Michael Weber (Eds.). 2010.

ציטוט MLA

Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco Van De Pol, Michael Weber (Eds.). 2010.