Discretization of timed automata in timed μ\mu crl à la regions and zones

Authors
Publication date
1 January 2005
Publisher
BRICS

Abstract

no abstract

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Repository TU/e

    redirect
    oaioai:library.tue.nl:659427
    Last time updated on 15/02/2017

    CWI's Institutional Repository

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