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

Espen Højsgaard, Arne John Glenstrup

Research output: Book / Anthology / Report › Report › Research › peer-review

Original language	English

Place of Publication	Copenhagen
Publisher	IT-Universitetet i København
Edition	TR-2011-145
Number of pages	25
ISBN (Electronic)	978-87-7949-244-8
Publication status	Published - 1 Oct 2011

Series	IT University Technical Report Series
Number	TR-2011-145
ISSN	1600-6100

Access to Document

@book{3e7c7414af394ddd869c7cf0007bf353,

title = "The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems",

author = "Espen H{\o}jsgaard and Glenstrup, {Arne John}",

year = "2011",

month = oct,

day = "1",

language = "English",

series = "IT University Technical Report Series",

number = "TR-2011-145",

publisher = "IT-Universitetet i K{\o}benhavn",

address = "Denmark",

edition = "TR-2011-145",

}