Transformation of any Verbrugge model to a bisimilar Veltman model

Tin Perkov. Transformation of any Verbrugge model to a bisimilar Veltman model. Mathematical Structures in Computer Science, 35, 2025. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.