Login / Signup

S-Invariant Analysis of General Recursive Petri Boxes.

Raymond R. Devillers
Published in: Acta Informatica (1995)
Keyphrases