Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/edoc/WegmannLRR07
%A Wegmann, Alain
%A Lê, Lam-Son
%A Rychkova, Irina
%A Regev, Gil
%B EDOCW
%D 2007
%I IEEE Computer Society
%K dblp
%P 260-268
%T An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy.
%U http://dblp.uni-trier.de/db/conf/edoc/edoc2007w.html#WegmannLRR07
%@ 978-0-7695-3338-4
@inproceedings{conf/edoc/WegmannLRR07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Wegmann, Alain and Lê, Lam-Son and Rychkova, Irina and Regev, Gil},
biburl = {https://www.bibsonomy.org/bibtex/29dddbc391729a66aa4c09ffe48271782/dblp},
booktitle = {EDOCW},
crossref = {conf/edoc/2007w},
ee = {https://doi.ieeecomputersociety.org/10.1109/EDOCW.2007.3},
interhash = {705892ec46d9c520c92b97b06dbbd121},
intrahash = {9dddbc391729a66aa4c09ffe48271782},
isbn = {978-0-7695-3338-4},
keywords = {dblp},
pages = {260-268},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T22:31:18.000+0200},
title = {An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy.},
url = {http://dblp.uni-trier.de/db/conf/edoc/edoc2007w.html#WegmannLRR07},
year = 2007
}