Dynamic spatio-temporal logic based on RCC-8

Published: 2021, Last Modified: 14 May 2025Concurr. Comput. Pract. Exp. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading