Inproceedings,
Performance improvement on legal model checking.
C. Faciano, S. Mera, F. Schapachnik, A. Iorio, B. Clara, V. Uriarte, M. Giaccaglia, M. Ruffa, and C. Marcos.ICAIL, page 59-68. ACM, (2017)
Meta data
- BibTeX key
- conf/icail/FacianoMSICUGRM17
- entry type
- inproceedings
- booktitle
- ICAIL
- year
- 2017
- pages
- 59-68
- publisher
- ACM
- crossref
- conf/icail/2017
- ee
- https://doi.org/10.1145/3086512.3086518
- isbn
- 978-1-4503-4891-1
- url
- http://dblp.uni-trier.de/db/conf/icail/icail2017.html#FacianoMSICUGRM17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icail/FacianoMSICUGRM17
%A Faciano, Carlos
%A Mera, Sergio
%A Schapachnik, Fernando
%A Iorio, Ana Haydée Di
%A Clara, Bibiana Luz
%A Uriarte, Verónica
%A Giaccaglia, María Fernanda
%A Ruffa, María Belén
%A Marcos, Cristian
%B ICAIL
%D 2017
%E Keppens, Jeroen
%E Governatori, Guido
%I ACM
%K dblp
%P 59-68
%T Performance improvement on legal model checking.
%U http://dblp.uni-trier.de/db/conf/icail/icail2017.html#FacianoMSICUGRM17
%@ 978-1-4503-4891-1
@inproceedings{conf/icail/FacianoMSICUGRM17,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Faciano, Carlos and Mera, Sergio and Schapachnik, Fernando and Iorio, Ana Haydée Di and Clara, Bibiana Luz and Uriarte, Verónica and Giaccaglia, María Fernanda and Ruffa, María Belén and Marcos, Cristian},
biburl = {https://www.bibsonomy.org/bibtex/271c79e7619731c0813140ee307a09fe9/dblp},
booktitle = {ICAIL},
crossref = {conf/icail/2017},
editor = {Keppens, Jeroen and Governatori, Guido},
ee = {https://doi.org/10.1145/3086512.3086518},
interhash = {807f17eee599522ed679f415daf5d50a},
intrahash = {71c79e7619731c0813140ee307a09fe9},
isbn = {978-1-4503-4891-1},
keywords = {dblp},
pages = {59-68},
publisher = {ACM},
timestamp = {2020-02-05T11:45:13.000+0100},
title = {Performance improvement on legal model checking.},
url = {http://dblp.uni-trier.de/db/conf/icail/icail2017.html#FacianoMSICUGRM17},
year = 2017
}