%0 Journal Article %1 journals/dc/YamaguchiEBH03 %A Yamaguchi, Hirozumi %A El-Fakih, Khaled %A von Bochmann, Gregor %A Higashino, Teruo %D 2003 %J Distributed Comput. %K dblp %N 1 %P 21-35 %T Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. %U http://dblp.uni-trier.de/db/journals/dc/dc16.html#YamaguchiEBH03 %V 16

@article{journals/dc/YamaguchiEBH03, 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/29d37644dfcfaba7d16b95eb28fc40b91/dblp}, ee = {https://doi.org/10.1007/s00446-002-0074-4}, interhash = {207e7d382807994cd0eeccd1869c9558}, intrahash = {9d37644dfcfaba7d16b95eb28fc40b91}, journal = {Distributed Comput.}, keywords = {dblp}, number = 1, pages = {21-35}, timestamp = {2020-10-27T12:04:21.000+0100}, title = {Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.}, url = {http://dblp.uni-trier.de/db/journals/dc/dc16.html#YamaguchiEBH03}, volume = 16, year = 2003 }