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 |
|
| Document type | Article |
| Published at | https://doi.org/10.1016/j.ipl.2005.02.010 |
| Permalink to this page | |
