Searching for authors named "Sabina Petride" – 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.

Knowledge-based synthesis of distributed systems using event structures
by Mark Bickford, Robert C. Constable, Joseph Y. Halpern, Sabina Petride — 2005 — In Proc. 11th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Lecture Notes in Computer Science
…. Constable Joseph Y. Halpern Sabina Petride Department of Computer Science Cornell University Ithaca, NY…
Add To MetaCart

Showing 1 through 1.

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