@inproceedings{DBLP:conf/apsec/KatayamaFU96,
author = {Tetsuro Katayama and
Zengo Furukawa and
Kazuo Ushijima},
title = {A Method for Structural Testing of Ada Concurrent Programs
Using the Event Interactions Graph},
booktitle = {APSEC},
year = {1996},
pages = {355-},
ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566770},
crossref = {DBLP:conf/apsec/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/apsec/1996,
title = {3rd Asia-Pacific Software Engineering Conference (APSEC
'96), December 4-7, 1996, Seoul, South Korea},
booktitle = {APSEC},
publisher = {IEEE Computer Society},
year = {1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}