(1993). Symbolic model checking / by Kenneth L. McMillan.
Чикаго стиль цитування (17-те видання)Symbolic Model Checking / by Kenneth L. McMillan. 1993.
Стиль цитування MLA (9-ме видання)Symbolic Model Checking / by Kenneth L. McMillan. 1993.
Попередження: стилі цитування не завжди правильні на всі 100%.