Login / Signup

An SMT-Based Discovery Algorithm for C-Nets.

Marc SoléJosep Carmona
Published in: Petri Nets (2012)
Keyphrases