Tableaux for Verification of Data-Centric Processes

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Original language	English
Title of host publication	Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Publisher	Springer Open
Pages	28-43
Number of pages	16
Publication status	Published - 2013
Peer-reviewed	Yes

Scopus	84885722188