International SPIN Workshop Toronto, O., ACM Sigsoft., & Dwyer, M. (2001). Model checking software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings. Berlin ; New York: Springer.
শিকাগো স্টাইলে সাইটেশনInternational SPIN Workshop Toronto, Ont.), ACM Sigsoft, এবং Matthew Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : Proceedings. Berlin ; New York: Springer, 2001.
এমএলএ সাইটেশনInternational SPIN Workshop Toronto, Ont.), ACM Sigsoft, এবং Matthew Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : Proceedings. Berlin ; New York: Springer, 2001.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.