MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Product Version of Dynamic Linear Time Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • A Product Version of Dynamic Linear Time Temporal Logic  
  • by Jesper G. Henriksen, P. S. Thiagarajan, Jesper Gulmann Henriksen — 1997 — Proceedings of the 8th International Conference on Concurrency Theory, Lecture Notes in Computer Science 1243, Springer-Verlag
  • …BRICS RS-97-9 Henriksen & Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic…
  • Cited by 12 (3 self) – Add To MetaCart
  • BRICS Research Series, 1997  
  • by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
  • …. Henriksen and P. S. Thiagarajan. A Product Version of Dynamic Linear Time Temporal Logic. April 1997. 18 pp…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB