Verification of Boolean programs with unbounded thread creation
Informazioni aggiuntive
Autori
Cook B.,
Kröning D.,
Sharygina N.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2007
Lingua
Inglese
Periodico
Theor. Comput. Sci.
Volume
388
Numero ( Mese )
1-3
Pagine (o numero dell’articolo)
227-242
