New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
H. Ehrig, M. Baldamus, и F. Orejas. Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}