Explicitly semantic representation of pattern and combined geometrical specification

Zhiguo Peng, Meifa Huang, Yanru Zhong, Leilei Chen, Guanghao Liu. Explicitly semantic representation of pattern and combined geometrical specification. Concurrency - Practice and Experience, 34(9), 2022. [doi]

Abstract

Abstract is missing.