Inproceedings,
Exploiting the HEF property to check model minimality.
F. Angiulli, R. Ben-Eliyahu-Zohary, F. Fassetti, and L. Palopoli.SEBD, page 351-357. Curran Associates, Inc., (2015)
Meta data
- BibTeX key
- conf/sebd/AngiulliBFP15
- entry type
- inproceedings
- booktitle
- SEBD
- year
- 2015
- pages
- 351-357
- publisher
- Curran Associates, Inc.
- crossref
- conf/sebd/2015
- isbn
- 978-1-5108-1087-7
- url
- http://dblp.uni-trier.de/db/conf/sebd/sebd2015.html#AngiulliBFP15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sebd/AngiulliBFP15
%A Angiulli, Fabrizio
%A Ben-Eliyahu-Zohary, Rachel
%A Fassetti, Fabio
%A Palopoli, Luigi
%B SEBD
%D 2015
%E Lembo, Domenico
%E Torlone, Riccardo
%E Marrella, Andrea
%I Curran Associates, Inc.
%K dblp
%P 351-357
%T Exploiting the HEF property to check model minimality.
%U http://dblp.uni-trier.de/db/conf/sebd/sebd2015.html#AngiulliBFP15
%@ 978-1-5108-1087-7
@inproceedings{conf/sebd/AngiulliBFP15,
added-at = {2022-07-18T00:00:00.000+0200},
author = {Angiulli, Fabrizio and Ben-Eliyahu-Zohary, Rachel and Fassetti, Fabio and Palopoli, Luigi},
biburl = {https://www.bibsonomy.org/bibtex/2d24d20b33ac3f08ce408ba4842294f24/dblp},
booktitle = {SEBD},
crossref = {conf/sebd/2015},
editor = {Lembo, Domenico and Torlone, Riccardo and Marrella, Andrea},
interhash = {938393cb23b3071a393ccbf88badd2e5},
intrahash = {d24d20b33ac3f08ce408ba4842294f24},
isbn = {978-1-5108-1087-7},
keywords = {dblp},
pages = {351-357},
publisher = {Curran Associates, Inc.},
timestamp = {2024-04-10T10:00:29.000+0200},
title = {Exploiting the HEF property to check model minimality.},
url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2015.html#AngiulliBFP15},
year = 2015
}