(2010). Model checking software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.).
Citazione stile Chigago Style (17a edizione)Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco Van De Pol, Michael Weber (Eds.). 2010.
Citatione MLA (9a ed.)Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco Van De Pol, Michael Weber (Eds.). 2010.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.