A verification environment for bigraphs

Bidragets oversatte titel: Et verifikationsmiljø for bigrafer

Gian David Perrone, Søren Debois, Thomas Hildebrandt

Programming Logic and Semantics

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

1 resultater
- Relevans

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
Projekter: Projekt › Forskning