Reachability in Higher-Order-Counters






Professorship/Faculty: Lehrstuhl für Praktische Informatik, insbesondere Softwaretechnik und Programmiersprachen 
Author(s): Heußner, Alexander; Kartzow, Alexander
Editors: Krishnendu, Chatterjee; Sgall, Jiri
Title of the compilation: Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013; Klosterneuburg, Austria, August 26-30, 2013 ; Proceedings
Publisher Information: Berlin, Heidelberg : Springer
Year of publication: 2013
Pages / Size: S. 528 - 539
ISBN: 978-3-642-40312-5
Series ; Volume: Lecture Notes in Computer Science ; 8087
Language(s): English
DOI: 10.1007/978-3-642-40313-2_47
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/2528
Release Date: 25. November 2013