MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Temporal Logic and Z Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Annotated Z Bibliography  
  • by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • … Z [156] Johnson. Applying temporal logic to support the specification and prototyping of concurrent…
  • Add To MetaCart
  • Annotated Z Bibliography Jonathan Bowen  
  • by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • … requirements for distributed real-time systems [99] Duke and Smith. Temporal logic and Z specifications [100…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB