Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego. Formal Equivalence Analysis. In Vilém Novák, Vladimír Marík, Martin Stepnicka, Mirko Navara, Petr Hurtík, editors, Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019. Volume 1 of Atlantis Studies in Uncertainty Modelling, Atlantis Press, 2019. [doi]
@inproceedings{AlbacetePCO19,
title = {Formal Equivalence Analysis},
author = {Francisco José Valverde Albacete and Carmen Peláez-Moreno and Pablo Cordero and Manuel Ojeda-Aciego},
year = {2019},
doi = {10.2991/eusflat-19.2019.109},
url = {https://doi.org/10.2991/eusflat-19.2019.109},
researchr = {https://researchr.org/publication/AlbacetePCO19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019},
editor = {Vilém Novák and Vladimír Marík and Martin Stepnicka and Mirko Navara and Petr Hurtík},
volume = {1},
series = {Atlantis Studies in Uncertainty Modelling},
publisher = {Atlantis Press},
isbn = {978-94-6252-770-6},
}