Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Hague, M, Ong, C
Ձևաչափ: Journal article
Հրապարակվել է: 2008
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems ‌ Hague, M, Ong, C

Հրապարակվել է 2007
Conference item
Ցույց տալ բոլոր տարբերակները (2)

Նմանատիպ նյութեր