DMCA

An Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems (1867)

by Tim Strazny , Tim Strazny , Prof Dr , E. -r. Olderog , Tim Strazny