Filipe Gouveia, Inês Lynce, Pedro T. Monteiro. Model Revision of Logical Regulatory Networks Using Logic-Based Tools. In Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. Volume 64 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{GouveiaLM18,
title = {Model Revision of Logical Regulatory Networks Using Logic-Based Tools},
author = {Filipe Gouveia and Inês Lynce and Pedro T. Monteiro},
year = {2018},
doi = {10.4230/OASIcs.ICLP.2018.23},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.23},
researchr = {https://researchr.org/publication/GouveiaLM18},
cites = {0},
citedby = {0},
booktitle = {Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom},
editor = {Alessandro Dal Palù and Paul Tarau and Neda Saeedloei and Paul Fodor},
volume = {64},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-090-3},
}