Adams, S., Bj�rk, M., Melham, T., & Seger, C. (2007). Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Adams, S., M. Bj�rk, T. Melham, ба C. Seger. Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE, 2007.
MLA -ийн эшлэл (9 дэх хэвлэлт)Adams, S., et al. Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE, 2007.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.