Tableaux for Verification of Data-Centric Processes

Andreas BauerAndreas Bauer, Peter BaumgartnerPeter Baumgartner, Martin DillerMartin Diller, Michael NorrishMichael Norrish

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

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

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}
}