Стиль цитування APA (7-ме видання)
Corina S. P.s.reanu. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Corina S. P.s.reanu. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Corina S. P.s.reanu. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.