Weighted dynamic pushdown networks (2010)

by Alexander Wenner
Venue:In Proceedings of ESOP, LNCS 6012