%0 Conference Paper %1 conf/cbms/CurranN92 %A Curran, Phil %A Norrie, Kathy %B CBMS %D 1992 %I IEEE Computer Society %K dblp %P 74-83 %T An approach to verifying concurrent systems-a medical information bus (MIB) case study. %U http://dblp.uni-trier.de/db/conf/cbms/cbms1992.html#CurranN92 %@ 0-8186-2742-5

@inproceedings{conf/cbms/CurranN92, added-at = {2017-05-23T00:00:00.000+0200}, author = {Curran, Phil and Norrie, Kathy}, biburl = {https://www.bibsonomy.org/bibtex/25387ce1fd4ec797459f85cbc19c40df9/dblp}, booktitle = {CBMS}, crossref = {conf/cbms/1992}, ee = {https://doi.org/10.1109/CBMS.1992.244961}, interhash = {a7733577697fe7c7b351aa51033765d1}, intrahash = {5387ce1fd4ec797459f85cbc19c40df9}, isbn = {0-8186-2742-5}, keywords = {dblp}, pages = {74-83}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T19:31:13.000+0200}, title = {An approach to verifying concurrent systems-a medical information bus (MIB) case study.}, url = {http://dblp.uni-trier.de/db/conf/cbms/cbms1992.html#CurranN92}, year = 1992 }