Ana Cristina Medina Pinto

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

José Luís Güntzel, Gustavo Wilke, Márcio Bystronski, Ana Cristina Medina Pinto, Ricardo Reis
A Comparison Between Testability Measures Applied to Complex Gates. LATW (2002)
José Luís Güntzel, Ana Cristina Medina Pinto, Ricardo Reis
A Timed Calculus for ATG-Based Timing Analysis with Complex Gates. LATW (2001)