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