thesis

Formal Verification of Distributed Systems

Authors
Publication date
1 January 2004
Publisher
Vrije Universiteit

Abstract

Fokkink, W.J. [Promotor

    Similar works

    Full text

    thumbnail-image

    Available Versions

    NARCIS

    redirect
    Last time updated on 14/10/2017

    VU Research Portal

    redirect
    oaioai:research.vu.nl:publication...
    Last time updated on 18/04/2020

    DSpace at VU

    redirect
    oaioai:dare.ubvu.vu.nl:1871/10281
    Last time updated on 03/09/2013

    NARCIS

    redirect
    Last time updated on 04/09/2017

    CWI's Institutional Repository

    redirect
    oaioai:cwi.nl:24727
    Last time updated on 18/04/2020