%0 Conference Paper %1 conf/forte/KakudaAK94 %A Kakuda, Yoshiaki %A Asada, Hiroyuki %A Kikuno, Tohru %B FORTE %D 1994 %E Hogrefe, Dieter %E Leue, Stefan %I Chapman & Hall %K dblp %P 379-381 %T Application of protocol sythesis technique to resolution of the service interaction problem. %U http://dblp.uni-trier.de/db/conf/forte/forte1994.html#KakudaAK94 %V 6 %@ 0-412-64450-9

@inproceedings{conf/forte/KakudaAK94, added-at = {2002-01-03T00:00:00.000+0100}, author = {Kakuda, Yoshiaki and Asada, Hiroyuki and Kikuno, Tohru}, biburl = {https://www.bibsonomy.org/bibtex/26e6eb79f1e8753578e73d9d4d8557efe/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1994}, date = {2002-01-03}, description = {dblp}, editor = {Hogrefe, Dieter and Leue, Stefan}, interhash = {da42670491d37ebdbbe6cedf30863402}, intrahash = {6e6eb79f1e8753578e73d9d4d8557efe}, isbn = {0-412-64450-9}, keywords = {dblp}, pages = {379-381}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Application of protocol sythesis technique to resolution of the service interaction problem.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#KakudaAK94}, volume = 6, year = 1994 }