Dynamic Linear Time Temporal Logic
| Author(s) : | P. S. Thiagarajan Jesper Gulmann Henriksen Jesper G. Henriksen P. S. Thiagarajan, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS, |