The Library
Timed pushdown automata and branching vector addition systems
Tools
Tools
Tools
Clemente, Lorenzo, Lasota, Slawomir, Lazic, Ranko and Mazowiecki, Filip (2017) Timed pushdown automata and branching vector addition systems. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ISBN 9781509030194. doi:10.1109/LICS.2017.8005083
|
PDF
WRAP-timed-pushdown-automata-Lazic-2017.pdf - Accepted Version - Requires a PDF viewer. Download (603Kb) | Preview |
Official URL: https://doi.org/10.1109/LICS.2017.8005083
| Item Type: | Conference Item (Paper) | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Machine theory -- Mathematical models, Petri nets | ||||
| Journal or Publication Title: | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | ||||
| Publisher: | IEEE | ||||
| ISBN: | 9781509030194 | ||||
| Official Date: | 21 March 2017 | ||||
| Dates: |
|
||||
| DOI: | 10.1109/LICS.2017.8005083 | ||||
| Status: | Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Description: | Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science |
||||
| Funder: | European Research Council (ERC), Horizon 2020 (European Commission) (H2020), Narodowe Centrum Nauki [National Science Centre] (NCN), Engineering and Physical Sciences Research Council (EPSRC) | ||||
| Grant number: | Grant agreement No. 683080 (ERC) (H2020), Grant 2016/21/B/ST6/01505 (NCN), EP/M011801/1 (EPSRC) | ||||
| Conference Paper Type: | Paper | ||||
| Title of Event: | 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | ||||
| Type of Event: | Conference | ||||
| Location of Event: | Reykjavik, Iceland | ||||
| Date(s) of Event: | 20-23 Jun 2017 | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
