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/date/NiemannHGW15
%A Niemann, Philipp
%A Hilken, Frank
%A Gogolla, Martin
%A Wille, Robert
%B DATE
%D 2015
%E Nebel, Wolfgang
%E Atienza, David
%I ACM
%K
%P 309-312
%T Assisted generation of frame conditions for formal models.
%U http://dblp.uni-trier.de/db/conf/date/date2015.html#NiemannHGW15
%@ 978-3-9815370-4-8
@inproceedings{conf/date/NiemannHGW15,
added-at = {2023-12-13T01:45:27.000+0100},
author = {Niemann, Philipp and Hilken, Frank and Gogolla, Martin and Wille, Robert},
biburl = {https://www.bibsonomy.org/bibtex/2fe633afa83d68125d30d8da5c23c5136/admin},
booktitle = {DATE},
crossref = {conf/date/2015},
editor = {Nebel, Wolfgang and Atienza, David},
ee = {http://ieeexplore.ieee.org/document/7092404/},
interhash = {7601792490a885d29c9ee2b4045bef18},
intrahash = {fe633afa83d68125d30d8da5c23c5136},
isbn = {978-3-9815370-4-8},
keywords = {},
pages = {309-312},
publisher = {ACM},
timestamp = {2023-12-13T01:45:27.000+0100},
title = {Assisted generation of frame conditions for formal models.},
url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#NiemannHGW15},
year = 2015
}