Abstractions and Static Analysis for Verifying Reactive Systems

Authors
Publication date
1 January 2004
Publisher

Abstract

Fokkink, W.J. [Promotor]Sidorova, N. [Copromotor

    Similar works

    Full text

    thumbnail-image

    Available Versions

    VU Research Portal

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

    CWI's Institutional Repository

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

    NARCIS

    redirect
    Last time updated on 04/09/2017

    DSpace at VU

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

    NARCIS

    redirect
    Last time updated on 14/10/2017