%0 Conference Paper %1 conf/stacs/RosierY85 %A Rosier, Louis E. %A Yen, Hsu-Chun %B STACS %D 1985 %E Mehlhorn, Kurt %I Springer %K dblp %P 287-298 %T Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. %U http://dblp.uni-trier.de/db/conf/stacs/stacs85.html#RosierY85 %V 182 %@ 0-387-13912-5

@inproceedings{conf/stacs/RosierY85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Rosier, Louis E. and Yen, Hsu-Chun}, biburl = {https://www.bibsonomy.org/bibtex/25e1ca763a26a00addf104f43ed4e9a59/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1985}, editor = {Mehlhorn, Kurt}, ee = {https://doi.org/10.1007/BFb0024017}, interhash = {ed9360575ed24ba7f0f9ac2b6507ebd2}, intrahash = {5e1ca763a26a00addf104f43ed4e9a59}, isbn = {0-387-13912-5}, keywords = {dblp}, pages = {287-298}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:49.000+0200}, title = {Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs85.html#RosierY85}, volume = 182, year = 1985 }