Tableaux for Verification of Data-Centric Processes.

Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish

Browse the full TABLEAUX paper archive.