Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena. Mu-Calculus Satisfiability with Arithmetic Constraints. Programming and Computer Software, 46(8):503-510, 2020. [doi]
@article{LimonBBMV20,
title = {Mu-Calculus Satisfiability with Arithmetic Constraints},
author = {Yensen Limón and Everardo Bárcenas and Edgard Benítez-Guerrero and Guillermo Molero-Castillo and Alejandro Velázquez-Mena},
year = {2020},
doi = {10.1134/S0361768820080137},
url = {https://doi.org/10.1134/S0361768820080137},
researchr = {https://researchr.org/publication/LimonBBMV20},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {46},
number = {8},
pages = {503-510},
}