History−Register Automata
Nikos Tzevelekos and Radu Grigore
Book Title
Foundations of Software Science and Computation Structures − 16th International Conference‚ FOSSACS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings
Editor
Frank Pfenning
ISBN
978−3−642−37074−8
Pages
17−33
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7794
Year
2013