Model-Based Analysis of a Stepwise Shutdown Logic (2009)
AUTHORS:
Björkmann Kim,
Frits Juho
,
Valkonen Janne,
Heljanko Keijo
,
Niemelä Ilkka
URL:
http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf
@techreport{ W115, author = {Bj{\"o}rkmann, Kim and Frits, Juho and Valkonen, Janne and Heljanko, Keijo and Niemel{\"a}, Ilkka}, title = "Model-Based Analysis of a Stepwise Shutdown Logic", url = "http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf", address = "Espoo", number = "115", month = "", flags = "MODSAFE", year = "2009", type = "VTT Working Papers", institution = "VTT Technical Research Centre of Finland" }