Title of article :
Incompleteness of states w.r.t. traces in model checking
Author/Authors :
Roberto Giacobazzi، نويسنده , , Francesco Ranzato، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Journal title :
Information and Computation
Journal title :
Information and Computation
