%0 Conference Paper %1 conf/tapsoft/BrinksmaJO91 %A Brinksma, Ed %A Jonsson, Bengt %A Orava, Fredrik %B TAPSOFT, Vol.2 %D 1991 %E Abramsky, Samson %E Maibaum, T. S. E. %I Springer %K dblp %P 297-312 %T Refining Interfaces of Communicating Systems. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#BrinksmaJO91 %V 494 %@ 3-540-53981-6

@inproceedings{conf/tapsoft/BrinksmaJO91, added-at = {2021-08-31T00:00:00.000+0200}, author = {Brinksma, Ed and Jonsson, Bengt and Orava, Fredrik}, biburl = {https://www.bibsonomy.org/bibtex/21be718ee0ad28d1e1fe6762228db624e/dblp}, booktitle = {TAPSOFT, Vol.2}, crossref = {conf/tapsoft/1991-2}, editor = {Abramsky, Samson and Maibaum, T. S. E.}, ee = {https://doi.org/10.1007/3540539816_73}, interhash = {42364f8b261316897464c5898c2d0ab7}, intrahash = {1be718ee0ad28d1e1fe6762228db624e}, isbn = {3-540-53981-6}, keywords = {dblp}, pages = {297-312}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:04:32.000+0200}, title = {Refining Interfaces of Communicating Systems.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#BrinksmaJO91}, volume = 494, year = 1991 }