Applying model checking to analysing safety instrumented systems (2008)
AUTHORS:
Koskimies Matti
@mastersthesis{ koskimiesm, author = "Koskimies, Matti", owner = "OEK", school = "Helsinki University of Technology", year = "2008", address = "Espoo, Finland", title = "Applying model checking to analysing safety instrumented systems" }