Weighted Pushdown Systems with Indexed Weight Domains

DOI10.1007/978-3-642-36742-7_17zbMath1381.68176OpenAlexW122790720MaRDI QIDQ5326328

Yasuhiko Minamide

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100753030

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Analyzing pushdown systems with stack manipulation ⋮ Average Stack Cost of Büchi Pushdown Automata

This page was built for publication: Weighted Pushdown Systems with Indexed Weight Domains