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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
H. Watanabe, T. Kudoh, "Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets," apsec, pp.242, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995