Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Renato Abreu
Map detail
Renato Abreu2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipRenato AbreuARenato AbreuResearcherSMT-Based Bounded Model Checking of Fixed-Point Digital ControllersWSMT-Based Bounded Model...preprint / 2014
Person1 links

Renato Abreu

Researcher