Những quyển sách tương tự
-
Saturation algorithms for model-checking pushdown systems
Bằng: Arnaud Carayol, et al.
Được phát hành: (2014-05-01) -
Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009) -
Saturation Methods for Global Model−Checking Pushdown Systems
Bằng: Hague, M
Được phát hành: (2009) -
Collapsible pushdown automata and recursion schemes
Bằng: Hague, M, et al.
Được phát hành: (2017) -
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Bằng: Hague, M, et al.
Được phát hành: (2007)