Multi-pushdown systems with budgets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman. Multi-pushdown systems with budgets. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 24-33, IEEE, 2012. [doi]

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Mohamed Faouzi Atig' in GoogleThis author has not been identified. Look up 'Othmane Rezine' in GoogleThis author has not been identified. Look up 'Jari Stenman' in Google

runs on WebDSL