OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]openaire.eu

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Henzinger, T.A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1994)
Publisher: Elsevier BV
Journal: Information and Computation
Types: Article
Subjects: Theoretical Computer Science, Computational Theory and Mathematics, Information Systems, Computer Science Applications
  • No references.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok