APA-ийн эшлэл(7 дахь хэвлэлт)
María Alpuente, B. C. Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
María Alpuente, Byron Cook. Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
María Alpuente, Byron Cook. Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.