Ähnliche Einträge
-
Saturation algorithms for model-checking pushdown systems
von: Arnaud Carayol, et al.
Veröffentlicht: (2014-05-01) -
Saturation methods for global model-checking pushdown systems
von: Hague, M
Veröffentlicht: (2009) -
Saturation Methods for Global Model−Checking Pushdown Systems
von: Hague, M
Veröffentlicht: (2009) -
Collapsible pushdown automata and recursion schemes
von: Hague, M, et al.
Veröffentlicht: (2017) -
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
von: Hague, M, et al.
Veröffentlicht: (2007)