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

Preview

PDF WRAP-timed-pushdown-automata-Lazic-2017.pdf - Accepted Version - Requires a PDF viewer. Download (603Kb) | Preview

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, Engineering and Medicine > 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:	Date Event 21 March 2017 Accepted
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
Date of first compliant deposit:	27 April 2017
Date of first compliant Open Access:	3 May 2017
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

Downloads