Flavio M. de Paula

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Flavio M. de Paula, Alan J. Hu: An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68

2006

1 EE Flavio M. de Paula, Alan J. Hu: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285

2007
2	EE	Flavio M. de Paula, Alan J. Hu: An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68
2006
1	EE	Flavio M. de Paula, Alan J. Hu: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285

Coauthor Index

1 Alan J. Hu [1] [2]