research

Adding Symmetry Reduction to Uppaal

Authors
Publication date
1 January 2004
Publisher
[S.l.] : Nijmegen Institute for Computing and Information Sciences, U

Abstract

Contains fulltext : 60202.pdf (preprint version ) (Open Access)14 p

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Radboud Repository

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 06/09/2013

    Radboud Repository

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 06/09/2013