Verification of Boolean programs with unbounded thread creation
Additional information
Authors
Cook B.,
Kröning D.,
Sharygina N.
Type
Journal Article
Year
2007
Language
English
Journal
Theor. Comput. Sci.
Volume
388
Number ( Month )
1-3
Pages (or article number)
227-242
