Searching for "Formal verification of concurrent scheduling strategies using TLA." – 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.

Formal Verification of Concurrent Scheduling Strategies using TLA
by Gudmund Grov, Greg Michaelson, Andrew Irel
…Formal Verification of Concurrent Scheduling Strategies using TLA Gudmund Grov, Greg Michaelson…
Add To MetaCart

Showing 1 through 1.

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