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

Espen Højsgaard, Arne John Glenstrup

    Publikation: Bog / Antologi / RapportRapportForskningpeer review

    OriginalsprogEngelsk
    UdgivelsesstedCopenhagen
    ForlagIT-Universitetet i København
    UdgaveTR-2011-145
    Antal sider25
    ISBN (Elektronisk)978-87-7949-244-8
    StatusUdgivet - 1 okt. 2011
    NavnIT University Technical Report Series
    NummerTR-2011-145
    ISSN1600-6100

    Citationsformater