## 2017

##### Transition Systems and Automata

by Julian Brunner
Oct 19

##### Flow Networks and the Min-Cut-Max-Flow Theorem

by Peter Lammich and S. Reza Sefidgar
Jun 01

## 2016

##### The Imperative Refinement Framework

by Peter Lammich
Aug 08

## 2014

##### A Fully Verified Executable LTL Model Checker

by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus
May 28