Login / Signup

An Algorithm for the Approximative Analysis of Rectangular Automata.

Jörg PreußigStefan KowalewskiHoward Wong-ToiThomas A. Henzinger
Published in: FTRTFT (1998)
Keyphrases