Andreas Griesmayer
Model checking Business Processes with Multi-Agent Systems
Monday, October 22, 2012 at 10:00
Leonid Libkin
Graph Logics and Relations on Words
Model checking Business Processes with Multi-Agent Systems
Monday, October 22, 2012 at 10:00
Graph Logics and Relations on Words