Model Checking Timed Safety Instrumented Systems (2008)
AUTHORS:
Lahtinen Jussi
@mastersthesis{ lahtinenj, author = "Lahtinen, Jussi", owner = "OEK", school = "Helsinki University of Technology", year = "2008", address = "Espoo, Finland", title = "Model Checking Timed Safety Instrumented Systems" }