Options
Reachability in Higher-Order-Counters
Heußner, Alexander; Kartzow, Alexander; Krishnendu, Chatterjee; Sgall, Jiri (Hrsg.) (2013): „Reachability in Higher-Order-Counters“. Berlin, Heidelberg: Springer doi: 10.1007/978-3-642-40313-2_47.
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
Type:
Conferenceobject
Activation date:
April 14, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/2528