Guilherme Pinto (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4		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)
2		Werner Damm, Guilherme Pinto, Stefan Ratschan: Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ATVA 2005: 99-113

Selection of 2 from 4 records - Guilherme Pinto has 9 coauthors