%0 Conference Paper %1 conf/amast/EhrigBCO91 %A Ehrig, Hartmut %A Baldamus, Michael %A Cornelius, Felix %A Orejas, Fernando %B AMAST %D 1991 %E Nivat, Maurice %E Rattray, Charles %E Rus, Teodor %E Scollo, Giuseppe %I Springer %K dblp %P 145-172 %T Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. %U http://dblp.uni-trier.de/db/conf/amast/amast1991.html#EhrigBCO91 %@ 3-540-19797-4

@inproceedings{conf/amast/EhrigBCO91, added-at = {2003-02-18T00:00:00.000+0100}, author = {Ehrig, Hartmut and Baldamus, Michael and Cornelius, Felix and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/23537ea687485c6d7ce0a05a251491bf1/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1991}, date = {2003-02-18}, description = {dblp}, editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe}, interhash = {cdb179f5bfb2c59b917847243da66135}, intrahash = {3537ea687485c6d7ce0a05a251491bf1}, isbn = {3-540-19797-4}, keywords = {dblp}, pages = {145-172}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-18T00:00:00.000+0100}, title = {Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast1991.html#EhrigBCO91}, year = 1991 }