Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Show other versions (1)
מידע ביבליוגרפי
Main Authors: 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
Show all versions (2)

פריטים דומים