Streett Automata Model Checking of Higher-Order Recursion Schemes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ryota Suzuki, Koichi Fujima, Naoki Kobayashi 0001, Takeshi Tsukada. Streett Automata Model Checking of Higher-Order Recursion Schemes. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

This author has not been identified. Look up 'Ryota Suzuki' in GoogleThis author has not been identified. Look up 'Koichi Fujima' in GoogleThis author has not been identified. Look up 'Naoki Kobayashi 0001' in GoogleThis author has not been identified. Look up 'Takeshi Tsukada' in Google

runs on WebDSL