A product version of dynamic linear time temporal logic
| Author(s) : | Jesper Gulmann Henriksen P. S. Thiagarajan Jesper G. Henriksen, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | Reproduction of all or part of this work 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, |