E. Kazmierczak, M. Winikoff, P. Dart, "Verifying Model Oriented Specifications through Animation," Asia-Pacific Software Engineering Conference, pp. 254, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998.

@article{ 10.1109/APSEC.1998.733727,
author = {E. Kazmierczak and M. Winikoff and P. Dart},
title = {Verifying Model Oriented Specifications through Animation},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1998},
isbn = {0-8186-9183-2},
pages = {254},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733727},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Verifying Model Oriented Specifications through Animation
SN - 0-8186-9183-2
SP
EP
A1 - E. Kazmierczak,
A1 - M. Winikoff,
A1 - P. Dart,
PY - 1998
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -