Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
Автори: | , |
---|---|
Формат: | Journal article |
Опубліковано: |
2008
|
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Опубліковано 2007
Conference item