Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
| Date first appeared online | 28/11/2015 |
| DOI | 10.1007/978-3-319-25524-8_47 |
| Authors | Nguyen H. |
| Journal Name | PRIMA 2015: Principles and Practice of Multi-Agent Systems |
| Volume |