Evaluating SPARQL-based model checking: Potentials and limitations

Bibliographische Detailangaben

Veröffentlicht in:	ECPPM (13. : 2021 : Online) ECPPM 2021 - eWork and ebusiness in architecture, engineering and construction
1. Verfasser:	Hoffmann, A. (VerfasserIn)
Weitere Verfasser:	Shi, M. (VerfasserIn), Wagner, A. (VerfasserIn), Thiele, C.-D. (VerfasserIn), Huyeng, T.-J. (VerfasserIn), Rüppel, U. (VerfasserIn), Sprenger, W. (VerfasserIn)
Pages:	2021 -
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!