id: 05426594
dt: j
an: 05426594
au: Baeten, Jos C.M.; Corradini, Flavio; Grabmayer, Clemens
ti: A characterization of regular expressions under bisimulation.
so: J. ACM 54, No. 2 (2007).
py: 2007
pu: Association for Computing Machinery (ACM), New York, NY
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1219092.1219094