Search for persons
X
?
2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT) ,
11
A satisfiability algorithm for multimodal logic with conver..:
, In:
?
2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT) ,
14