The Library
Shortest paths in one-counter systems
Tools
Chistikov, Dmitry, Czerwiński, Wojciech, Hofman, Piotr, Pilipczuk, Michał and Wehar, Michael (2016) Shortest paths in one-counter systems. In: 19th International Conference, FOSSACS 2016, Eindhoven, The Netherlands, 2-8 Apr 2016. Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2016, 9634 pp. 462-478. ISBN 9783662496299. doi:10.1007/978-3-662-49630-5_27 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-662-49630-5_27
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | Lecture Notes in Computer Science | ||||
Journal or Publication Title: | Foundations of Software Science and Computation Structures. FoSSaCS 2016 | ||||
Publisher: | Springer | ||||
ISBN: | 9783662496299 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Foundations of Software Science and Computation Structures | ||||
Official Date: | 2016 | ||||
Dates: |
|
||||
Volume: | 9634 | ||||
Page Range: | pp. 462-478 | ||||
DOI: | 10.1007/978-3-662-49630-5_27 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 19th International Conference, FOSSACS 2016 | ||||
Type of Event: | Conference | ||||
Location of Event: | Eindhoven, The Netherlands | ||||
Date(s) of Event: | 2-8 Apr 2016 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |