Title of article
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Author/Authors
Klarlund N.، نويسنده , , Schneider F. B.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
20
From page
151
To page
170
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261352
Link To Document