Follow

Dissertations from 2003

PDF

Symbolic model checking using algebraic geometry, Volker Ecke