%0 Conference Paper %1 conf/icpads/YamaguchiOHT97 %A Yamaguchi, Hirozumi %A Okano, Kozo %A Higashino, Teruo %A Taniguchi, Kenichi %B ICPADS %D 1997 %I IEEE Computer Society %K dblp %P 236-243 %T Protocol Synthesis from Time Petri Net Based Service Specification. %U http://dblp.uni-trier.de/db/conf/icpads/icpads1997.html#YamaguchiOHT97 %@ 0-8186-8227-2

@inproceedings{conf/icpads/YamaguchiOHT97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Yamaguchi, Hirozumi and Okano, Kozo and Higashino, Teruo and Taniguchi, Kenichi}, biburl = {https://www.bibsonomy.org/bibtex/2bebc6a90d13c37cf4e900654f2c9ad67/dblp}, booktitle = {ICPADS}, crossref = {conf/icpads/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICPADS.1997.652556}, interhash = {8845213f19cd9e68547dbc701b51860c}, intrahash = {bebc6a90d13c37cf4e900654f2c9ad67}, isbn = {0-8186-8227-2}, keywords = {dblp}, pages = {236-243}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:24:56.000+0200}, title = {Protocol Synthesis from Time Petri Net Based Service Specification.}, url = {http://dblp.uni-trier.de/db/conf/icpads/icpads1997.html#YamaguchiOHT97}, year = 1997 }