Searching for "Reasoning with Temporal Logic on Truncated Paths." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Reasoning with Temporal Logic on Truncated Paths
by Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony Mcisaac, David Van Campenhout
…Reasoning with Temporal Logic on Truncated Paths Cindy Eisner 1 Dana Fisman 1,2 John Havlicek 3…
Cited by 15 (4 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB