Modal Logic, Transition Systems and Processes
| Authors |
|
|---|---|
| Publication date | 1994 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 4 | 5 |
| Pages (from-to) | 811-855 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |