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

Espen Højsgaard, Arne John Glenstrup

Publikation: Bog / Antologi / Rapport › Rapport › Forskning › peer review

Originalsprog	Engelsk

Udgivelsessted	Copenhagen
Forlag	IT-Universitetet i København
Udgave	TR-2011-145
Antal sider	25
ISBN (Elektronisk)	978-87-7949-244-8
Status	Udgivet - 1 okt. 2011

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

Adgang til dokumentet

@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",

}