SpringerLink (Online service), Weber, M., & Pol, J. (2010). Model checking software: 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), Michael Weber, और Jaco Pol. Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Berlin, Heidelberg: Springer, 2010.
एमएलए (8वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), et al. Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Springer, 2010.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.