Real time process algebra with time-dependent conditions

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    57 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieUtrecht
    UitgeverijUtrecht University
    Aantal pagina's33
    ISBN van geprinte versie90-393-2366-6
    StatusGepubliceerd - 2000

    Publicatie series

    NaamLogic Group Preprint Series
    Volume200
    ISSN van geprinte versie0929-0710

    Bibliografische nota

    (Logic Group Preprint Series ; 200)

    Citeer dit