Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
| Hauptverfasser: | , |
|---|---|
| Format: | Journal article |
| Veröffentlicht: |
2008
|
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Veröffentlicht 2007
Conference item