Nguyen, H., & Bulling, N. (2015). Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. PRIMA 2015: Principles and Practice of Multi-Agent Systems, pp. 640-649. doi:10.1007/978-3-319-25524-8_47
Chicago Style CitationNguyen, Hoang, and Nils Bulling. "Model Checking Resource Bounded Systems With Shared Resources Via Alternating Büchi Pushdown Systems." PRIMA 2015: Principles and Practice of Multi-Agent Systems 2015: 640-649.
MLA CitationNguyen, Hoang, and Nils Bulling. "Model Checking Resource Bounded Systems With Shared Resources Via Alternating Büchi Pushdown Systems." PRIMA 2015: Principles and Practice of Multi-Agent Systems 2015: 640-649.
Warning: These citations may not always be 100% accurate.