%0 Conference Paper %1 conf/memocode/Lopez-MiguelATV21 %A Lopez-Miguel, Ignacio D. %A Adiego, Borja Fernández %A Tournier, Jean-Charles %A Viñuela, Enrique Blanco %A Rodríguez-Aguilar, Juan A. %B MEMOCODE %D 2021 %E Arun-Kumar, S. %E Méry, Dominique %E Saha, Indranil %E Zhang, Lijun %I ACM %K dblp %P 10-20 %T Simplification of numeric variables for PLC model checking. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2021.html#Lopez-MiguelATV21 %@ 978-1-4503-9127-6

@inproceedings{conf/memocode/Lopez-MiguelATV21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Lopez-Miguel, Ignacio D. and Adiego, Borja Fernández and Tournier, Jean-Charles and Viñuela, Enrique Blanco and Rodríguez-Aguilar, Juan A.}, biburl = {https://www.bibsonomy.org/bibtex/2fae5fa57f9b1e92162d9894dfdeebed8/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2021}, editor = {Arun-Kumar, S. and Méry, Dominique and Saha, Indranil and Zhang, Lijun}, ee = {https://doi.org/10.1145/3487212.3487334}, interhash = {0e76fd838f14ec1bc12ad1af1b22051d}, intrahash = {fae5fa57f9b1e92162d9894dfdeebed8}, isbn = {978-1-4503-9127-6}, keywords = {dblp}, pages = {10-20}, publisher = {ACM}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Simplification of numeric variables for PLC model checking.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2021.html#Lopez-MiguelATV21}, year = 2021 }