Tableaux for Verification of Data-Centric Processes

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Originalsprache	Englisch
Titel	Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Herausgeber (Verlag)	Springer Open
Seiten	28-43
Seitenumfang	16
Publikationsstatus	Veröffentlicht - 2013
Peer-Review-Status	Ja

Scopus	84885722188