Tin Perkov. Transformation of any Verbrugge model to a bisimilar Veltman model. Mathematical Structures in Computer Science, 35, 2025. [doi]
@article{Perkov25,
title = {Transformation of any Verbrugge model to a bisimilar Veltman model},
author = {Tin Perkov},
year = {2025},
doi = {10.1017/s096012952500012x},
url = {https://doi.org/10.1017/s096012952500012x},
researchr = {https://researchr.org/publication/Perkov25},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {35},
}