## E-Mails 📧

- ed.mut.ni @nnamuen.ener

## Entries

### 2016

##### A Framework for Verifying Depth-First Search Algorithms

by Peter Lammich 🌐 and René Neumann 📧
Jul 05

### 2014

##### Promela Formalization

by René Neumann 📧
May 28

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

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

### 2010

##### Functional Binomial Queues

by René Neumann 📧
Oct 28