An upper bound for the equational specification of finite state services

Authors
Publication date 2005
Journal Information Processing Letters
Volume | Issue number 94 | 6
Pages (from-to) 267-269
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at
https://doi.org/10.1016/j.ipl.2005.02.010 (Final published version)
Permalink to this page
Back