Searching for "Using the Temporal Logic RDL for Design Specifications." – 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.

Using The Temporal Logic RDL for Design Specifications
by Dov Gabbay, Ian Hodkinson, Anthony Hunter
…Using The Temporal Logic RDL for Design Specifications Dov Gabbay, Ian Hodkinson and Anthony…
Add To MetaCart

Showing 1 through 1.

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