@article{article, title = {{Relational Concurrent Refinement: Automata}},
url = {{}},
year = {{2009}},
month = {{1}},
author = {{Derrick J and Boiten E}},
doi = {{10.1016/j.entcs.2009.12.015}},
volume = {{259}},
journal = {{Electronic Notes in Theoretical Computer Science}},
issue = {{C}},
pages = {{21-34}},
note = {{Accessed on 2025/07/23}}}