Formal Verification of an energy aware routing algorithm

Mikkel Koefoed Jakobsen, Jan Madsen, Michael Reichhardt Hansen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication21st Nordic Workshop on Programming Theory (NWPT09)
    PublisherDTU Informatik, Danmarks Tekniske Universitet
    Publication date2009
    Pages32-34
    ISBN (Print)978-87-643-0565-4
    Publication statusPublished - 2009
    Event21st Nordic Workshop on Programming Theory - Lyngby, Denmark
    Duration: 14 Dec 200916 Dec 2009
    Conference number: 21
    http://www2.imm.dtu.dk/projects/nwpt09/venue.html

    Workshop

    Workshop21st Nordic Workshop on Programming Theory
    Number21
    CountryDenmark
    CityLyngby
    Period14/12/200916/12/2009
    Internet address

    Cite this

    Jakobsen, M. K., Madsen, J., & Hansen, M. R. (2009). Formal Verification of an energy aware routing algorithm. In 21st Nordic Workshop on Programming Theory (NWPT09) (pp. 32-34). DTU Informatik, Danmarks Tekniske Universitet.