The LIME Interface Specification Language and Runtime Monitoring Tool (2009)
AUTHORS:
Kähkönen Kari
,
Lampinen Jani,
Heljanko Keijo
,
Niemelä Ilkka
BOOKTITLE:
RV
SERIES:
Lecture Notes in Computer Science
VOLUME:
5779
PAGES:
93-100
URL:
http://dx.doi.org/10.1007/978-3-642-04694-0_7
@inproceedings{ DBLP:conf/rv/KahkonenLHN09, editor = "Bensalem, Saddek and Peled, Doron", author = {K{\"a}hk{\"o}nen, Kari and Lampinen, Jani and Heljanko, Keijo and Niemel{\"a}, Ilkka}, responsibleauthor = "K�hk�nen, Kari", title = "The {LIME} Interface Specification Language and Runtime Monitoring Tool", url = "http://dx.doi.org/10.1007/978-3-642-04694-0_7", series = "Lecture Notes in Computer Science", booktitle = "RV", corerank = "NA", volume = "5779", flags = "LIME", year = "2009", bibsource = "DBLP, http://dblp.uni-trier.de", impactfactor = "D3", pages = "93-100" }