Real time process algebra with time-dependent conditions

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

    Research output: Book/ReportReportAcademic

    67 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages33
    ISBN (Print)90-393-2366-6
    Publication statusPublished - 2000

    Publication series

    NameLogic Group Preprint Series
    Volume200
    ISSN (Print)0929-0710

    Bibliographical note

    (Logic Group Preprint Series ; 200)

    Cite this