Title of article
Extended state identification and verification using a model checker
Author/Authors
Christopher Robinson-Mallett، نويسنده , , Peter Liggesmeyer، نويسنده , , Tilo Mücke، نويسنده , , Ursula Goltz، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2006
Pages
12
From page
981
To page
992
Keywords
Information and Software Technology (1995-2007)\Volume 48\Issue 11
Journal title
Information and Software Technology
Serial Year
2006
Journal title
Information and Software Technology
Record number
135251
Link To Document