Conference Paper/Proceeding/Abstract 620 views
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
Nils Bulling,
Hoang Nguyen 
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Pages: 640 - 649
Swansea University Author:
Hoang Nguyen
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-25524-8_47
Abstract
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
| Published in: | PRIMA 2015: Principles and Practice of Multi-Agent Systems |
|---|---|
| ISBN: | 9783319255231 9783319255248 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer International Publishing
2015
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa61989 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
640 |
| End Page: |
649 |