Logic of transition systems
| Authors | |
|---|---|
| Publication date | 1995 |
| Journal | Journal of Logic, Language and Information |
| Volume | Issue number | 3 |
| Pages (from-to) | 247-283 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |
