CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Analysis of a Biphase Mark Protocol with Uppaal and PVS

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    Contains fulltext : 36086.pdf (preprint version ) (Open Access
    Crossref
    Radboud Repository
    corecore