Gian David Perrone
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (8)
- Published
Big Red: A Development Environment for Bigraphs
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
A verification environment for bigraphs
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Domain-Specific Modelling Languages in Bigraphs
Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
ID: 1052350