Title of article
Incompleteness of states w.r.t. traces in model checking
Author/Authors
Roberto Giacobazzi، نويسنده , , Francesco Ranzato، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
32
From page
376
To page
407
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262334
Link To Document