Werner Damm, Guilherme Pinto, Stefan Ratschan. Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. Int. J. Found. Comput. Sci., 18(1):63-86, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.