International Journal on Software Tools for Technology Transfer (STTT), Volume 3

Refine list

showing all ?? records

Volume 3, Number 1, 2000

Theorem Proving

Volume 3, Number 2, 2001

Special Section on BDD Regular Contributions

Volume 3, Number 3, 2001

Alternative Approaches to Symbolic Verification Regular Contributions

Volume 3, Number 4, 2001

Special Section on the Practical Use of High-Level Petri Nets Regular Contributions
a service of  Schloss Dagstuhl - Leibniz Center for Informatics