Discrete simulation of behavioural hybrid process calculus

T. Krilavicius, H. Schonenberg

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    24 Downloads (Pure)
    Originele taal-2Engels
    TitelIFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005)
    RedacteurenJ.M.T. Romijn, G. Smith, J.C. Pol, van de
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Pagina's33-38
    StatusGepubliceerd - 2005

    Publicatie series

    NaamComputer Science Reports
    Volume05-29
    ISSN van geprinte versie0926-4515

    Citeer dit