Title of article
3-Valued abstraction: More precision at less cost
Author/Authors
Sharon Shoham، نويسنده , , Orna Grumberg، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
21
From page
1313
To page
1333
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262519
Link To Document