Reference:
Kim Björkmann, Juho Frits, Janne Valkonen, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of a stepwise shutdown logic. VTT Working Papers 115, VTT Technical Research Centre of Finland, Espoo, 2009.
Suggested BibTeX entry:
@techreport{W115,
address = {Espoo},
author = {Kim Bj{\"o}rkmann and Juho Frits and Janne Valkonen and Keijo Heljanko and Ilkka Niemel{\"a}},
institution = {VTT Technical Research Centre of Finland},
number = {115},
title = {Model-Based Analysis of a Stepwise Shutdown Logic},
type = {VTT Working Papers},
year = {2009},
}
|