Edinburgh Research Explorer

Proof Planning for Maintainable Configuration Systems

Research output: Contribution to journalArticle

Standard

Proof Planning for Maintainable Configuration Systems. / Lowe, H.; Pechoucek, M.; Bundy, Alan.

In: AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Vol. 12, No. 4, 09.1998, p. 345-356.

Research output: Contribution to journalArticle

Harvard

Lowe, H, Pechoucek, M & Bundy, A 1998, 'Proof Planning for Maintainable Configuration Systems', AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol. 12, no. 4, pp. 345-356.

APA

Lowe, H., Pechoucek, M., & Bundy, A. (1998). Proof Planning for Maintainable Configuration Systems. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12(4), 345-356.

Vancouver

Lowe H, Pechoucek M, Bundy A. Proof Planning for Maintainable Configuration Systems. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 1998 Sep;12(4):345-356.

Author

Lowe, H. ; Pechoucek, M. ; Bundy, Alan. / Proof Planning for Maintainable Configuration Systems. In: AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 1998 ; Vol. 12, No. 4. pp. 345-356.