No Cover Image

Conference Paper/Proceeding/Abstract 932 views

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems

Nils Bulling, Hoang Nguyen Orcid Logo

PRIMA 2015: Principles and Practice of Multi-Agent Systems, Pages: 640 - 649

Swansea University Author: Hoang Nguyen Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-319-25524-8_47

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
first_indexed 2022-12-15T17:14:23Z
last_indexed 2023-01-13T19:23:08Z
id cronfa61989
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-15T17:14:24.9138730</datestamp><bib-version>v2</bib-version><id>61989</id><entry>2022-11-22</entry><title>Model Checking Resource Bounded Systems with Shared Resources via Alternating B&#xFC;chi Pushdown Systems</title><swanseaauthors><author><sid>cb24d5c5080534dc5b5e3390f24dd422</sid><ORCID>0000-0003-0260-1697</ORCID><firstname>Hoang</firstname><surname>Nguyen</surname><name>Hoang Nguyen</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-11-22</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>PRIMA 2015: Principles and Practice of Multi-Agent Systems</journal><volume/><journalNumber/><paginationStart>640</paginationStart><paginationEnd>649</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783319255231</isbnPrint><isbnElectronic>9783319255248</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>28</publishedDay><publishedMonth>11</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-11-28</publishedDate><doi>10.1007/978-3-319-25524-8_47</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-15T17:14:24.9138730</lastEdited><Created>2022-11-22T12:15:29.3839754</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Nils</firstname><surname>Bulling</surname><order>1</order></author><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>2</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-12-15T17:14:24.9138730 v2 61989 2022-11-22 Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 2022-11-22 MACS Conference Paper/Proceeding/Abstract PRIMA 2015: Principles and Practice of Multi-Agent Systems 640 649 Springer International Publishing Cham 9783319255231 9783319255248 0302-9743 1611-3349 28 11 2015 2015-11-28 10.1007/978-3-319-25524-8_47 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-12-15T17:14:24.9138730 2022-11-22T12:15:29.3839754 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Nils Bulling 1 Hoang Nguyen 0000-0003-0260-1697 2
title Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
spellingShingle Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
Hoang Nguyen
title_short Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
title_full Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
title_fullStr Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
title_full_unstemmed Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
title_sort Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
author Hoang Nguyen
author2 Nils Bulling
Hoang Nguyen
format Conference Paper/Proceeding/Abstract
container_title PRIMA 2015: Principles and Practice of Multi-Agent Systems
container_start_page 640
publishDate 2015
institution Swansea University
isbn 9783319255231
9783319255248
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-319-25524-8_47
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2015-11-28T06:44:11Z
_version_ 1850740259106586624
score 11.088929

Similar Items