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/models/DernehlKK16
%A Dernehl, Christian
%A Kühn, Jan
%A Kowalewski, Stefan
%B MoDeVVa@MoDELS
%D 2016
%E Famelis, Michalis
%E Ratiu, Daniel
%E Selim, Gehan M. K.
%I CEUR-WS.org
%K dblp
%P 20-29
%T Abstract Interpretation for Block Diagrams - Two Case Studies.
%U http://dblp.uni-trier.de/db/conf/models/modevva2016.html#DernehlKK16
%V 1713
@inproceedings{conf/models/DernehlKK16,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Dernehl, Christian and Kühn, Jan and Kowalewski, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/23e1e5bf60d06dd06dd6bb8fc48f8c9c6/dblp},
booktitle = {MoDeVVa@MoDELS},
crossref = {conf/models/2016modevva},
editor = {Famelis, Michalis and Ratiu, Daniel and Selim, Gehan M. K.},
ee = {https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_3.pdf},
interhash = {fbb160cc069376a0ab223d91393008c1},
intrahash = {3e1e5bf60d06dd06dd6bb8fc48f8c9c6},
keywords = {dblp},
pages = {20-29},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T21:59:03.000+0200},
title = {Abstract Interpretation for Block Diagrams - Two Case Studies.},
url = {http://dblp.uni-trier.de/db/conf/models/modevva2016.html#DernehlKK16},
volume = 1713,
year = 2016
}