 |
|
| /Alur, 1998/ |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
 Contents
|
|
|---|
Identification
/Alur, 1998/ Model Checking of Hierarchical State Machines
Author(s)
Alur, R.Yannakakis, M.
Congress/Conference/Publication
FSE-6 SIGSOFT'98, Lake Buena Vista, FL, USA, 1998
Related publications
Development Phases: Verification - Model Checking
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|