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, Proceedings of the 9th International Workshop on Runtime Verification (RV'09), 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 = {Proceedings of the 9th International Workshop on Runtime Verification (RV'09)},
    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 ...

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