Skip to content

Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem.

Slawomir Lasota

VenueASTACS
Year2022
ProceedingsSTACS

Browse the full STACS paper archive.