Conference Paper/Proceeding/Abstract 413 views
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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ü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>SCS</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>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</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 SCS 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 Computer Science COLLEGE CODE SCS 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-28T04:21:15Z |
_version_ |
1763754403922182144 |
score |
11.012678 |