An Upper Bound for the equational specification of finite state services

  • J.A. Bergstra
  • , I. Bethke

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined/Unknown
    Title of host publicationinf. proceedings letters 94
    Pages267-269
    Number of pages3
    Publication statusPublished - 2005

    Cite this