|
Volumn 19, Issue 4, 2008, Pages 983-998
|
An alternative construction in symbolic reachability analysis of second order pushdown systems
|
Author keywords
Higher order pushdown automata; Reachability; Symbolic model checking; Verification
|
Indexed keywords
|
EID: 49449087917
PISSN: 01290541
EISSN: None
Source Type: Journal
DOI: 10.1142/S012905410800608X Document Type: Article |
Times cited : (4)
|
References (7)
|