Discrete simulation of behavioural hybrid process calculus

T. Krilavicius, H. Schonenberg

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

    31 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
    Publication statusPublished - 2005

    Publication series

    NameComputer Science Reports
    ISSN (Print)0926-4515

    Cite this