Login / Signup

A model checker for Bigraphs.

Gian PerroneSøren DeboisThomas T. Hildebrandt
Published in: SAC (2012)
Keyphrases