Tableaux for Verification of Data-Centric Processes
From MaRDI portal
Publication:2851931
DOI10.1007/978-3-642-40537-2_5zbMath1401.68185MaRDI QIDQ2851931
Peter Baumgartner, Andreas Bauer, Michael Norrish, Martin Diller
Publication date: 4 October 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_5
Uses Software