Completeness results for two-sorted metric temporal logics
| Authors |
|
|---|---|
| Publication date | 1995 |
| Host editors |
|
| Book title | Algebraic methodology and software technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995: proceedings |
| ISBN |
|
| Series | Lecture notes in computer science, 936 |
| Pages (from-to) | 385-399 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
