Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/jelia/AlpuenteBCEM19
%A Alpuente, María
%A Ballis, Demis
%A Cuenca-Ortega, Angel
%A Escobar, Santiago
%A Meseguer, José
%B JELIA
%D 2019
%E Calimeri, Francesco
%E Leone, Nicola
%E Manna, Marco
%I Springer
%K dblp
%P 171-181
%T ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
%U http://dblp.uni-trier.de/db/conf/jelia/jelia2019.html#AlpuenteBCEM19
%V 11468
%@ 978-3-030-19570-0
@inproceedings{conf/jelia/AlpuenteBCEM19,
added-at = {2023-09-20T00:00:00.000+0200},
author = {Alpuente, María and Ballis, Demis and Cuenca-Ortega, Angel and Escobar, Santiago and Meseguer, José},
biburl = {https://www.bibsonomy.org/bibtex/2e7174971895f801672ab91aec0613216/dblp},
booktitle = {JELIA},
crossref = {conf/jelia/2019},
editor = {Calimeri, Francesco and Leone, Nicola and Manna, Marco},
ee = {https://doi.org/10.1007/978-3-030-19570-0_11},
interhash = {18b5d7caf0a39401f9a1836f10bb3fdb},
intrahash = {e7174971895f801672ab91aec0613216},
isbn = {978-3-030-19570-0},
keywords = {dblp},
pages = {171-181},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T21:43:34.000+0200},
title = {ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.},
url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2019.html#AlpuenteBCEM19},
volume = 11468,
year = 2019
}