Edinburgh Research Explorer

Planning Proofs of Equations in CCS

Research output: Contribution to journalArticle

Standard

Planning Proofs of Equations in CCS. / Monroy, R.; Bundy, Alan; Green, I.

In: Automated Software Engineering, Vol. 7, No. 3, 07.2000, p. 263-304.

Research output: Contribution to journalArticle

Harvard

Monroy, R, Bundy, A & Green, I 2000, 'Planning Proofs of Equations in CCS' Automated Software Engineering, vol. 7, no. 3, pp. 263-304. DOI: 10.1023/A:1008770222354

APA

Monroy, R., Bundy, A., & Green, I. (2000). Planning Proofs of Equations in CCS. Automated Software Engineering, 7(3), 263-304. DOI: 10.1023/A:1008770222354

Vancouver

Monroy R, Bundy A, Green I. Planning Proofs of Equations in CCS. Automated Software Engineering. 2000 Jul;7(3):263-304. Available from, DOI: 10.1023/A:1008770222354

Author

Monroy, R. ; Bundy, Alan ; Green, I./ Planning Proofs of Equations in CCS. In: Automated Software Engineering. 2000 ; Vol. 7, No. 3. pp. 263-304