The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems

Espen Højsgaard, Arne John Glenstrup

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearchpeer-review

    Original languageEnglish
    PublisherIT-Universitetet i København
    VolumeTR-2011-145
    Number of pages25
    ISBN (Electronic)978-87-7949-244-8
    Publication statusPublished - 1 Oct 2011

    Cite this