Model Checking Resource Bounded Systems with Shared Resources via Alternating Bchi Pushdown Systems.

Nils Bulling, Hoang Nga Nguyen

Browse the full PRIMA paper archive.