Login / Signup

Approximating Petri Net Reachability Along Context-free Traces.

Mohamed Faouzi AtigPierre Ganty
Published in: FSTTCS (2011)
Keyphrases