%0 Journal Article %1 journals/tc/ShiratoriZTN91 %A Shiratori, Norio %A Zhang, Yaoxue %A Takahashi, Kaoru %A Noguchi, Shoichi %D 1991 %J IEEE Trans. Computers %K dblp %N 4 %P 477-486 %T A User Friendly Software Environment for Protocol Synthesis. %U http://dblp.uni-trier.de/db/journals/tc/tc40.html#ShiratoriZTN91 %V 40

@article{journals/tc/ShiratoriZTN91, added-at = {2015-12-22T00:00:00.000+0100}, author = {Shiratori, Norio and Zhang, Yaoxue and Takahashi, Kaoru and Noguchi, Shoichi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bfdbfd47f12b0d90b6decb26243b39eb/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.88467}, interhash = {489bca61639d77eb09e1b60c739f02fb}, intrahash = {bfdbfd47f12b0d90b6decb26243b39eb}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 4, pages = {477-486}, timestamp = {2016-02-02T02:38:47.000+0100}, title = {A User Friendly Software Environment for Protocol Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc40.html#ShiratoriZTN91}, volume = 40, year = 1991 }