Title of article :
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Author/Authors :
Klarlund N.، نويسنده , , Schneider F. B.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1993
Journal title :
Information and Computation
Journal title :
Information and Computation
