On formal techniques in protocol engineering - example challenges

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationIFIP WG6.1 Formal Techniques for Networked and Distributed Systems
    Publication date2001
    Pages395-420
    Publication statusPublished - 2001

    Cite this