TCS / Research / Publications / The LIME Interface Specification Language and Runtime Monitoring Tool
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.