%0 Conference Paper %1 conf/tapsoft/BlumP85 %A Blum, Edward K. %A Parisi-Presicce, Francesco %B TAPSOFT, Vol.1 %D 1985 %E Ehrig, Hartmut %E Floyd, Christiane %E Nivat, Maurice %E Thatcher, James W. %I Springer %K dblp %P 359-373 %T The Semantics of Shared Submodules Specifications. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft85-1.html#BlumP85 %V 185 %@ 3-540-15198-2

@inproceedings{conf/tapsoft/BlumP85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Blum, Edward K. and Parisi-Presicce, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/237661e03cffdfcd1fe1868a1f0f7bad1/dblp}, booktitle = {TAPSOFT, Vol.1}, crossref = {conf/tapsoft/1985-1}, editor = {Ehrig, Hartmut and Floyd, Christiane and Nivat, Maurice and Thatcher, James W.}, ee = {https://doi.org/10.1007/3-540-15198-2_23}, interhash = {9538c7833aec591aca1222d41e5e28f2}, intrahash = {37661e03cffdfcd1fe1868a1f0f7bad1}, isbn = {3-540-15198-2}, keywords = {dblp}, pages = {359-373}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:45.000+0200}, title = {The Semantics of Shared Submodules Specifications.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft85-1.html#BlumP85}, volume = 185, year = 1985 }