Sciweavers

FTRTFT
1998
Springer

An Algorithm for the Approximative Analysis of Rectangular Automata

14 years 3 months ago
An Algorithm for the Approximative Analysis of Rectangular Automata
Jörg Preußig, Stefan Kowalewski, Howard
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where FTRTFT
Authors Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
Comments (0)