Login / Signup

DBtk: A Toolkit for Directed Bigraphs.

Giorgio BacciDavide GrohmannMarino Miculan
Published in: CALCO (2009)
Keyphrases
  • case study
  • user interface
  • prior knowledge
  • upper bound