Tableaux for Verification of Data-Centric Processes

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Tableaux for Verification of Data-Centric Processes

Andreas BauerAndreas Bauer,  Peter BaumgartnerPeter Baumgartner,  Martin DillerMartin Diller,  Michael NorrishMichael Norrish
Tableaux for Verification of Data-Centric Processes


Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes
Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 28-43, 2013. Springer
The final publication is available at Springer.
@inproceedings{BBDN2013,
  author    = {Andreas Bauer and Peter Baumgartner and Martin Diller and Michael
               Norrish},
  title     = {Tableaux for Verification of Data-Centric Processes},
  booktitle = {Proceedings of the 22nd International Conference on Automated
               Reasoning with Analytic Tableaux and Related Methods},
  publisher = {Springer},
  year      = {2013},
  pages     = {28-43}
}