Process algebra with timing : real time and discrete time

J.C.M. Baeten, C.A. Middelburg

    Onderzoeksoutput: Boek/rapportRapportPopulair

    125 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieUtrecht
    UitgeverijUtrecht University
    Aantal pagina's53
    StatusGepubliceerd - 1999

    Publicatie series

    NaamLogic Group Preprint Series
    Volume198
    ISSN van geprinte versie0929-0710

    Bibliografische nota

    (Logic Group Preprint Series ;198)

    Citeer dit