Login / Signup
Andreas Klaus Bauer
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Autonomous Agents
Business Processes
Inter Organizational
Bounded Model Checking
Top Venues
CoRR
FM
</>
Publications
</>
Andreas Klaus Bauer
,
Peter Baumgartner
,
Michael Norrish
Reasoning with Data-Centric Business Processes
CoRR
(2012)
Andreas Klaus Bauer
,
Yliès Falcone
Decentralised LTL Monitoring.
FM
(2012)