@inproceedings{DBLP:conf/ats/HoL99,
author = {Ian Ho and
Jin-Cherng Lin},
title = {Generating Test Cases for Real-Time Software by Time Petri
Nets Model},
booktitle = {Asian Test Symposium},
year = {1999},
pages = {295-300},
ee = {http://doi.ieeecomputersociety.org/10.1109/ATS.1999.810766},
crossref = {DBLP:conf/ats/1999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ats/1999,
title = {8th Asian Test Symposium (ATS '99), 16-18 November 1999,
Shanghai, China},
booktitle = {Asian Test Symposium},
publisher = {IEEE Computer Society},
year = {1999},
isbn = {0-7695-0315-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}