A verification environment for bigraphs

Gian David Perrone, Søren Debois, Thomas Hildebrandt

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'A verification environment for bigraphs'. Together they form a unique fingerprint.

Keyphrases

Computer Science