Reachability in Higher-Order-Counters
Heußner, Alexander; Kartzow, Alexander (2013): Reachability in Higher-Order-Counters, in: Chatterjee Krishnendu und Jiri Sgall (Hrsg.), Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013; Klosterneuburg, Austria, August 26-30, 2013 ; Proceedings, Berlin, Heidelberg: Springer, S. 528–539, doi: 10.1007/978-3-642-40313-2_47.
Faculty/Chair:
Author:
 ; 
Editor:
 ; 
Title of the compilation:
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013; Klosterneuburg, Austria, August 26-30, 2013 ; Proceedings
Publisher Information:
Year of publication:
2013
Pages:
ISBN:
978-3-642-40312-5
Series ; Volume:
Lecture Notes in Computer Science ; 8087
Language:
English
DOI:
Type:
Conferenceobject
URI:
Activation date:
April 14, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/2528