"Topological relation expression and verification of symmetrical parallel ..."

Litao He, Hairong Fang, Dan Zhang (2023)

Details and statistics

DOI: 10.1017/S0263574723001169

access: closed

type: Journal Article

metadata version: 2024-01-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics