Model checking PSL safety properties (2009)
AUTHORS:
Kuismin Tuomas
@mastersthesis{ kuismint, author = "Kuismin, Tuomas", owner = "OEK", school = "Helsinki University of Technology", year = "2009", address = "Espoo, Finland", title = "Model checking PSL safety properties" }