Login / Signup

Compositional Synthesis of Live and Bounded Free Choice Petri Nets.

Javier EsparzaManuel Silva Suárez
Published in: CONCUR (1991)
Keyphrases