Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Бібліографічні деталі
Автори: Hague, M, Ong, C
Формат: Journal article
Опубліковано: 2008
Search Result 1

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems за авторством Hague, M, Ong, C

Опубліковано 2007
Conference item