| Title | A characterization of regular expressions under bisimulation |
|---|---|
| Published in | Journal of the ACM, Vol. 54, No. 2, p.6-. ISSN 0004-5411. |
| Author | Baeten, JCM (Jos); Corradini, F (Flavio); Grabmayer, CA |
| Date | 2007 |
| Type | article |
| Rights | Copyright (c) Baeten, JCM (Jos); Copyright (c) Corradini, F (Flavio); Copyright (c) Grabmayer, CA |
| Publication | http://repository.tue.nl/627466 |
| OpenURL | Search this publication in (your) library |
| Persistent Identifier | URN:NBN:NL:UI:25-627466 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation