New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
H. Ehrig, M. Baldamus, and F. Orejas. Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/wsscs/EhrigBO93
%A Ehrig, Hartmut
%A Baldamus, Michael
%A Orejas, Fernando
%B Current Trends in Theoretical Computer Science
%D 1993
%E Rozenberg, Grzegorz
%E Salomaa, Arto
%I World Scientific
%K dblp
%P 161-182
%T New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
%U http://dblp.uni-trier.de/db/series/wsscs/wsscs40.html#EhrigBO93
%V 40
%@ 978-981-4502-94-8
@incollection{series/wsscs/EhrigBO93,
added-at = {2015-07-14T00:00:00.000+0200},
author = {Ehrig, Hartmut and Baldamus, Michael and Orejas, Fernando},
biburl = {https://www.bibsonomy.org/bibtex/2d958087440d67bbf6f93b323828f0d18/dblp},
booktitle = {Current Trends in Theoretical Computer Science},
crossref = {series/wsscs/40},
editor = {Rozenberg, Grzegorz and Salomaa, Arto},
ee = {http://www.worldscientific.com/doi/abs/10.1142/9789812794499_0012},
interhash = {70767dc08779bf2770bdafc5734d0046},
intrahash = {d958087440d67bbf6f93b323828f0d18},
isbn = {978-981-4502-94-8},
keywords = {dblp},
pages = {161-182},
publisher = {World Scientific},
series = {World Scientific Series in Computer Science},
timestamp = {2015-07-15T11:33:48.000+0200},
title = {New Concepts for Amalgamation and Extension in the Framework of Specification Logics.},
url = {http://dblp.uni-trier.de/db/series/wsscs/wsscs40.html#EhrigBO93},
volume = 40,
year = 1993
}
