dblp.uni-trier.de www.uni-trier.de

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

Volume 2, Number 1, 1998

The Opinion Corner Special Section on Program Analysis Tools Regular Contribution

Volume 2, Number 2, 1998

The Opinion Corner Special Section on Coloured Petri Nets Regular Contribution Technical Innovation

Volume 2, Number 3, 1999

The Opinion Corner Special Section on Model Checking Regular Contribution

Volume 2, Number 4, 2000

The Opinion Corner Special Section on SPIN Regular Contribution

Copyright © Sun May 17 00:22:40 2009 by Michael Ley (ley@uni-trier.de)