%0 Conference Paper %1 conf/tapsoft/CramerFGG91 %A Cramer, Joachim %A Fey, Werner %A Goedicke, Michael %A Große-Rhode, Martin %B TAPSOFT, Vol.2 %D 1991 %E Abramsky, Samson %E Maibaum, T. S. E. %I Springer %K dblp %P 358-378 %T Towards a Formally Based Component Description Language. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#CramerFGG91 %V 494 %@ 3-540-53981-6

@inproceedings{conf/tapsoft/CramerFGG91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cramer, Joachim and Fey, Werner and Goedicke, Michael and Große-Rhode, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2b107efd212a89d5f671a79a89770f6f2/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_76}, interhash = {3ad43743adfe2e8c9db8eca0c2da7a02}, intrahash = {b107efd212a89d5f671a79a89770f6f2}, isbn = {3-540-53981-6}, keywords = {dblp}, pages = {358-378}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:52.000+0200}, title = {Towards a Formally Based Component Description Language.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#CramerFGG91}, volume = 494, year = 1991 }