Selected References - Ph. D. Theses

Alexey Tovchigrechko:
Efficient symbolic analysis of bounded Petri nets using Interval Decision Diagrams, October 2008.

Thomas Mertke:
Certifying programmable logic arrays (in German), October 2003.

Peter Deussen:
Analysis of concurrent systems by Process Automata (in German), December 2001.

Jochen Spranger:
Symbolic LTL verification of Petri nets (in German), December 2001.

 . . .  t h e  e n d  . . .

Any comments or questions are welcome. Please direct them to: