Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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

[img]
Preview
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

Request Changes to record.

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:
DateEvent
21 March 2017Accepted
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us