Evaluating SPARQL-based model checking: Potentials and limitations

Publication source: 
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction
Publication authors: 
W. S. A. Hoffmann, M. Shi, A. Wagner, C.-D. Thiele, T.-J. Huyeng, U. R?ppel
Scope of application: 
Geometry Modeling
Organizations of authors: 
Technische Universit?t Darmstadt
Country: 
Germany
Year of publication: 
2021