Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols

Henrik Pilegaard, Michael Pilegaard Hansen, Robin Sharp, J. Vain et al. (Editor)

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

    Original languageEnglish
    Title of host publicationThe 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University
    Publication date2002
    Pages84-86
    Publication statusPublished - 2002

    Cite this