Searching for "Verification of Boolean programs with unbounded thread creation." – 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.

www.elsevier.com/locate/tcs Verification of Boolean programs with unbounded thread creation ✩
by Byron Cook A, Daniel Kroening B, Natasha Sharygina C — 2007
… of Boolean programs with unbounded thread creation ✩ Byron Cook a , Daniel Kroening b , Natasha Sharygina c…
Add To MetaCart

Showing 1 through 1.

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