Modal Abstractions of Concurrent Behaviour

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationStatic Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
    Volume5079
    PublisherSpringer Science+Business Media
    Publication date2008
    Pages159-173
    ISBN (Print)978-3-540-69163-1
    Publication statusPublished - 2008
    Event15th International Static Analysis Symposium - Technical University of Valencia, Valencia, Spain
    Duration: 16 Jul 200818 Jul 2008
    Conference number: 15
    http://users.dsic.upv.es/~sas2008/

    Conference

    Conference15th International Static Analysis Symposium
    Number15
    LocationTechnical University of Valencia
    Country/TerritorySpain
    CityValencia
    Period16/07/200818/07/2008
    Internet address
    SeriesLecture Notes in Computer Science
    Number5079

    Cite this