R. Monroy, A. Bundy, I. Green, "Planning Equational Verification in CCS," Automated Software Engineering, International Conference on, pp. 43, 13th IEEE International Conference on Automated Software Engineering (ASE'98), 1998.

@article{ 10.1109/ASE.1998.732569,
author = {R. Monroy and A. Bundy and I. Green},
title = {Planning Equational Verification in CCS},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-8750-9},
pages = {43},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.1998.732569},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Planning Equational Verification in CCS
SN - 0-8186-8750-9
SP
EP
A1 - R. Monroy,
A1 - A. Bundy,
A1 - I. Green,
PY - 1998
VL - 0
JA - Automated Software Engineering, International Conference on
ER -