Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

Show other versions (1)

Bibliographic Details
Main Authors:	Hague, M, Ong, C
Format:	Conference item
Published:	2007

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

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

Published 2008

Journal article