Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Show other versions (1)

Detalles Bibliográficos
Main Authors:	Hague, M, Ong, C
Formato:	Journal article
Publicado:	2008

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

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

Publicado 2007

Conference item