Dyfyniad APA

Adams, S., Bj�rk, M., Melham, T., & Seger, C. (2007). Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE.

Dyfyniad Arddull Chicago

Adams, S., M. Bj�rk, T. Melham, and C. Seger. Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE, 2007.

Dyfyniad MLA

Adams, S., et al. Automatic Abstraction in Symbolic Trajectory Evaluation. IEEE, 2007.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.