Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found
here
.
Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Tools
Heroes of Computer Science
Help
Thesis Details
Thesis:Small deterministic Omega Automata for LTL: A second generation implementation.
The implementation is under construction
here
.
Status: Finished
Contact: sickert@in.tum.de
Supervisor: Salomon Sickert
Advisor: Javier Esparza
Contact
