%0 Journal Article 
%F acje95
%A Aceto, Luca
%A Jeffrey, Alan
%T A complete axiomatization of timed bisimulation for a class of timed regular behaviours
%J Theoretical Computer Science
%V 152
%N 2
%P 251-268
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/aceto1995.pdf
%U http://dx.doi.org/10.1016/0304-3975(94)00285-9
%D 1995
%K algexp
%K  coinduction