About this scholarly article

2014 Formal Methods in Computer-Aided Design (FMCAD) - Synthesis of synchronization using uninterpreted functions by Bloem, Roderick; Hofferek, Georg; Konighofer, Bettina; Konighofer, Robert; Auserlechner, Simon; Spork, Raphael is a scholarly article available to read on EtoBox.

Author

Bloem, Roderick; Hofferek, Georg; Konighofer, Bettina; Konighofer, Robert; Auserlechner, Simon; Spork, Raphael

Publisher

IEEE

Published

2014

Language

EN