%0 Conference Paper %1 conf/apsec/KatayamaFU96 %A Katayama, Tetsuro %A Furukawa, Zengo %A Ushijima, Kazuo %B APSEC %D 1996 %I IEEE Computer Society %K dblp %P 355- %T A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. %U http://dblp.uni-trier.de/db/conf/apsec/apsec1996.html#KatayamaFU96 %@ 0-8186-7638-8

@inproceedings{conf/apsec/KatayamaFU96, added-at = {2023-03-23T00:00:00.000+0100}, author = {Katayama, Tetsuro and Furukawa, Zengo and Ushijima, Kazuo}, biburl = {https://www.bibsonomy.org/bibtex/22af9ed66aecdaa2d78f8e967fdc05de5/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566770}, interhash = {9858f4b5ad14f70dc0192fc18fa46b51}, intrahash = {2af9ed66aecdaa2d78f8e967fdc05de5}, isbn = {0-8186-7638-8}, keywords = {dblp}, pages = {355-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:15:25.000+0200}, title = {A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1996.html#KatayamaFU96}, year = 1996 }