%0 Journal Article %1 journals/cn/YamaguchiEBH07 %A Yamaguchi, Hirozumi %A El-Fakih, Khaled %A von Bochmann, Gregor %A Higashino, Teruo %D 2007 %J Comput. Networks %K dblp %N 1 %P 258-284 %T Deriving protocol specifications from service specifications written as Predicate/Transition-nets. %U http://dblp.uni-trier.de/db/journals/cn/cn51.html#YamaguchiEBH07 %V 51

@article{journals/cn/YamaguchiEBH07, added-at = {2020-10-26T00:00:00.000+0100}, author = {Yamaguchi, Hirozumi and El-Fakih, Khaled and von Bochmann, Gregor and Higashino, Teruo}, biburl = {https://www.bibsonomy.org/bibtex/223bd61cde21b19f8d3a8738481c65c92/dblp}, ee = {https://doi.org/10.1016/j.comnet.2006.03.011}, interhash = {03eb795a0d66be40dea9de8398345f49}, intrahash = {23bd61cde21b19f8d3a8738481c65c92}, journal = {Comput. Networks}, keywords = {dblp}, number = 1, pages = {258-284}, timestamp = {2020-10-27T11:49:07.000+0100}, title = {Deriving protocol specifications from service specifications written as Predicate/Transition-nets.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn51.html#YamaguchiEBH07}, volume = 51, year = 2007 }