The LIME Interface Specification Language and Runtime Monitoring Tool

Reference:

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, and Ilkka Niemelä. The LIME interface specification language and runtime monitoring tool. In Saddek Bensalem and Doron Peled, editors, RV, volume 5779 of Lecture Notes in Computer Science, pages 93–100, 2009.

Suggested BibTeX entry:

@inproceedings{DBLP:confrvKahkonenLHN09,
    author = {Kari K{\"a}hk{\"o}nen and Jani Lampinen and Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {RV},
    editor = {Saddek Bensalem and Doron Peled},
    pages = {93-100},
    series = {Lecture Notes in Computer Science},
    title = {The {LIME} Interface Specification Language and Runtime Monitoring Tool},
    volume = {5779},
    year = {2009},
}

See dx.doi.org ...