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

Sorter
Vægt
Alfabetisk

Keyphrases

Computer Science