@phdthesis{JussilaLic,
author = {Jussila, Toni},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Bounded Model Checking for Verifying Concurrent Programs},
type = {Licentiate's thesis},
year = {2001},
}