New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
H. Ehrig, M. Baldamus, und F. Orejas. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}
