Discrete simulation of behavioural hybrid process calculus

T. Krilavicius, H. Schonenberg

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    23 Downloads (Pure)
    Original languageEnglish
    Title of host publicationIFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005)
    EditorsJ.M.T. Romijn, G. Smith, J.C. Pol, van de
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Pages33-38
    Publication statusPublished - 2005

    Publication series

    NameComputer Science Reports
    Volume05-29
    ISSN (Print)0926-4515

    Cite this