Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi. Construction of a protocol synthesis environment and its implementation. Systems and Computers in Japan, 21(1):34-49, 1990. [doi]
@article{ShiratoriZTN90, title = {Construction of a protocol synthesis environment and its implementation}, author = {Norio Shiratori and Yaoxue Zhang and Kaoru Takahashi and Shoichi Noguchi}, year = {1990}, doi = {10.1002/scj.4690210104}, url = {http://dx.doi.org/10.1002/scj.4690210104}, researchr = {https://researchr.org/publication/ShiratoriZTN90}, cites = {0}, citedby = {0}, journal = {Systems and Computers in Japan}, volume = {21}, number = {1}, pages = {34-49}, }