HISTORY-REGISTER AUTOMATA

View/Open

Accepted Version (532.1Kb)

Volume

12

DOI

10.2168/LMCS-12(1:7)2016

Journal

LOGICAL METHODS IN COMPUTER SCIENCE

Issue

1

ISSN

1860-5974

Metadata

Show full item record

Authors

Grigore, R; Tzevelekos, N

URI

http://qmro.qmul.ac.uk/xmlui/handle/123456789/12585

Collections

Electronic Engineering and Computer Science [2669]

Licence information

“The final publication is available at http://link.springer.com/chapter/10.1007/978-3-642-37075-5_2”

Copyright statements

© 2016 R. Grigore and N. Tzevelekos