%0 Conference Paper %1 conf/fmsp/Chen98 %A Chen, Liang %B FMSP %D 1998 %E Ardis, Mark A. %E Atlee, Joanne M. %I ACM %K dblp %P 70-77 %T Verification of an audio control protocol within real time process algebra. %U http://dblp.uni-trier.de/db/conf/fmsp/fmsp1998.html#Chen98 %@ 0-89791-954-8

@inproceedings{conf/fmsp/Chen98, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chen, Liang}, biburl = {https://www.bibsonomy.org/bibtex/234a0a794c2fe8b1df9402388ca2f73a2/dblp}, booktitle = {FMSP}, crossref = {conf/fmsp/1998}, editor = {Ardis, Mark A. and Atlee, Joanne M.}, ee = {https://doi.org/10.1145/298595.298860}, interhash = {db83c46353b9c337b031eaeea147d69c}, intrahash = {34a0a794c2fe8b1df9402388ca2f73a2}, isbn = {0-89791-954-8}, keywords = {dblp}, pages = {70-77}, publisher = {ACM}, timestamp = {2018-11-07T14:15:14.000+0100}, title = {Verification of an audio control protocol within real time process algebra.}, url = {http://dblp.uni-trier.de/db/conf/fmsp/fmsp1998.html#Chen98}, year = 1998 }