A verification environment for bigraphs

Gian David Perrone, Søren Debois, Thomas Hildebrandt

Programming Logic and Semantics

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

1 results
- Relevance

Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Project: Research