H. Watanabe, T. Kudoh, "Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets," Asia-Pacific Software Engineering Conference, pp. 242, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.

@article{ 10.1109/APSEC.1995.496973,
author = {H. Watanabe and T. Kudoh},
title = {Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1995},
isbn = {0-8186-7171-8},
pages = {242},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496973},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets
SN - 0-8186-7171-8
SP
EP
A1 - H. Watanabe,
A1 - T. Kudoh,
PY - 1995
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -