KNAW

Publicatie

A characterization of regular expressions under bisimulation (2007)

Pagina-navigatie:
Titel A characterization of regular expressions under bisimulation
Gepubliceerd in Journal of the ACM, Vol. 54, No. 2, p.6-. ISSN 0004-5411.
Auteur Baeten, JCM (Jos); Corradini, F (Flavio); Grabmayer, CA
Datum 2007
Type artikel
Rechten Copyright (c) Baeten, JCM (Jos); Copyright (c) Corradini, F (Flavio); Copyright (c) Grabmayer, CA
Publicatie http://repository.tue.nl/627466
OpenURL Zoek deze publicatie in (uw) bibliotheek
Persistent Identifier URN:NBN:NL:UI:25-627466
Metadata XML
Repository Technische Universiteit Eindhoven
Technische Universiteit Eindhoven

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie