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

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