@article{figueira:hal-01686366,
    Author = {Figueira, Diego and Hofman, Piotr and Lasota, Slawomir},
    File = {Relating timed and register automata - main - z.pdf},
    Journal = {Mathematical Structures in Computer Science},
    Month = {September},
    Number = {06},
    PDF = {https://hal.archives-ouvertes.fr/hal-01686366/file/main.pdf},
    Pages = {993--1021},
    Publisher = {{Cambridge University Press (CUP)}},
    Title = {Relating timed and register automata},
    URL = {https://hal.archives-ouvertes.fr/hal-01686366},
    Volume = {26},
    Year = {2016},
    bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01686366},
    bdsk-url-2 = {https://doi.org/10.1017/S0960129514000322},
    date-added = {2021-03-24 10:30:45 +0100},
    date-modified = {2021-03-24 10:30:45 +0100},
    hal_id = {hal-01686366},
    hal_version = {v1},
    doi = {10.1017/S0960129514000322}
}

@article{figueira:hal-01686366, Author = {Figueira, Diego and Hofman, Piotr and Lasota, Slawomir}, File = {Relating timed and register automata - main - z.pdf}, Journal = {Mathematical Structures in Computer Science}, Month = {September}, Number = {06}, PDF = {https://hal.archives-ouvertes.fr/hal-01686366/file/main.pdf}, Pages = {993--1021}, Publisher = {{Cambridge University Press (CUP)}}, Title = {Relating timed and register automata}, URL = {https://hal.archives-ouvertes.fr/hal-01686366}, Volume = {26}, Year = {2016}, bdsk-url-1 = {https://hal.archives-ouvertes.fr/hal-01686366}, bdsk-url-2 = {https://doi.org/10.1017/S0960129514000322}, date-added = {2021-03-24 10:30:45 +0100}, date-modified = {2021-03-24 10:30:45 +0100}, hal_id = {hal-01686366}, hal_version = {v1}, doi = {10.1017/S0960129514000322} }