%0 Conference Paper %1 conf/compsac/ChuL88 %A Chu, Peil-Ying M. %A Liu, Ming T. %B COMPSAC %D 1988 %I IEEE %K dblp %P 505-512 %T Protocol synthesis in a state-transition model. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1988.html#ChuL88 %@ 0-8186-0873-0

@inproceedings{conf/compsac/ChuL88, added-at = {2017-05-21T00:00:00.000+0200}, author = {Chu, Peil-Ying M. and Liu, Ming T.}, biburl = {https://www.bibsonomy.org/bibtex/2ada5f319d18f3aa1437b5f374e80585d/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1988}, ee = {https://doi.org/10.1109/CMPSAC.1988.17231}, interhash = {4c7d10d3b6f4796796c86108475f0702}, intrahash = {ada5f319d18f3aa1437b5f374e80585d}, isbn = {0-8186-0873-0}, keywords = {dblp}, pages = {505-512}, publisher = {IEEE}, timestamp = {2019-10-17T20:12:49.000+0200}, title = {Protocol synthesis in a state-transition model.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1988.html#ChuL88}, year = 1988 }