Title of article
Verification of scope-dependent hierarchical state machines
Author/Authors
Salvatore La Torre، نويسنده , , Margherita Napoli، نويسنده , , Mimmo Parente، نويسنده , , Gennaro Parlato، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
17
From page
1161
To page
1177
Keywords
Hierarchical state machinesModel checkingAutomataTemporal logic
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262506
Link To Document