Skip to content

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem.

Zakaria Bouziane

VenueA*FOCS
Year1998
ProceedingsFOCS

Browse the full FOCS paper archive.