The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems
- Espen Højsgaard,
- Arne John Glenstrup
Research Output:
Book / Anthology / Report
Report
Peer-reviewOpen access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 01/10/2011
Publication status
Published - 01/10/2011
Place of publication
CopenhagenEdition
TR-2011-145Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2011-145
ISSN: 1600-6100
ISBN (Electronic)
978-87-7949-244-8Access to documents
Final published version, 380.71 KB
