@inproceedings{fafc4b946d6d499fba822ce918679388,
title = "Formal Methods @ Runtime",
author = "Radu Calinescu and Shinji Kikuchi",
year = "2011",
language = "English",
volume = "6662",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "122--135",
booktitle = "Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers",
address = "Germany",
}