Inproceedings,
EMFeR: Model Checking for Object Oriented (EMF) Models.
C. Eickhoff, M. Lange, S. Raesch, and A. Zündorf.MODELSWARD, page 511-518. SciTePress, (2019)
Meta data
- BibTeX key
- conf/modelsward/EickhoffLRZ19
- entry type
- inproceedings
- booktitle
- MODELSWARD
- year
- 2019
- pages
- 511-518
- publisher
- SciTePress
- crossref
- conf/modelsward/2019
- ee
- https://doi.org/10.5220/0007681605130520
- isbn
- 978-989-758-358-2
- url
- http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#EickhoffLRZ19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/modelsward/EickhoffLRZ19
%A Eickhoff, Christoph
%A Lange, Martin
%A Raesch, Simon-Lennert
%A Zündorf, Albert
%B MODELSWARD
%D 2019
%E Hammoudi, Slimane
%E Pires, Luís Ferreira
%E Selic, Bran
%I SciTePress
%K dblp
%P 511-518
%T EMFeR: Model Checking for Object Oriented (EMF) Models.
%U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#EickhoffLRZ19
%@ 978-989-758-358-2
@inproceedings{conf/modelsward/EickhoffLRZ19,
added-at = {2020-01-20T00:00:00.000+0100},
author = {Eickhoff, Christoph and Lange, Martin and Raesch, Simon-Lennert and Zündorf, Albert},
biburl = {https://www.bibsonomy.org/bibtex/21ee627461255725d4eafb3e9d1112886/dblp},
booktitle = {MODELSWARD},
crossref = {conf/modelsward/2019},
editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Selic, Bran},
ee = {https://doi.org/10.5220/0007681605130520},
interhash = {15131cbd1cf879fe561226676326656c},
intrahash = {1ee627461255725d4eafb3e9d1112886},
isbn = {978-989-758-358-2},
keywords = {dblp},
pages = {511-518},
publisher = {SciTePress},
timestamp = {2024-04-09T10:02:13.000+0200},
title = {EMFeR: Model Checking for Object Oriented (EMF) Models.},
url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#EickhoffLRZ19},
year = 2019
}