Login / Signup

A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism.

R. HilalP. Ladet
Published in: PNPM (1993)
Keyphrases