Tableaux for Verification of Data-Centric Processes

Citation

Bauer, A, Baumgartner, P, Diller, M, Norrish, M. 2013, 'Tableaux for Verification of Data-Centric Processes', TABLEAUX 2013, ed. D. Galmiche and D. Larchey-Wendling, Springer-Verlag Berlin Heidelberg, USA, pp. 23-43.

Year

2013

Field of Research

  • Analysis Of Algorithms And Complexity

Updated:  29 November 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers