%0 Conference Paper %1 conf/forte/ZhangMB94 %A Zhang, Bairong %A Munro, Alistair %A Barton, Michael %B FORTE %D 1994 %E Hogrefe, Dieter %E Leue, Stefan %I Chapman & Hall %K dblp %P 87-99 %T The formalization and analysis of CCR protocol and service. %U http://dblp.uni-trier.de/db/conf/forte/forte1994.html#ZhangMB94 %V 6 %@ 0-412-64450-9

@inproceedings{conf/forte/ZhangMB94, added-at = {2002-01-03T00:00:00.000+0100}, author = {Zhang, Bairong and Munro, Alistair and Barton, Michael}, biburl = {https://www.bibsonomy.org/bibtex/26114643a51a1d7dfe20b9cac3781e16e/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1994}, date = {2002-01-03}, description = {dblp}, editor = {Hogrefe, Dieter and Leue, Stefan}, interhash = {391a9f7401dd08ec7555e995eac8cd09}, intrahash = {6114643a51a1d7dfe20b9cac3781e16e}, isbn = {0-412-64450-9}, keywords = {dblp}, pages = {87-99}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {The formalization and analysis of CCR protocol and service.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#ZhangMB94}, volume = 6, year = 1994 }