comp.doc.techreports
- AIB 2008-01: Quantitative Testing, Peter Schneider-Kamp
- AIB 2007-21: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains, Peter Schneider-Kamp
- ILLC Research Reports and Technical Notes 2007, Marco Vervoort