Publication
Multilevel Design Understanding: From Specification to Logic Invited Paper
Publications associées (30)
Matthias Ruf, Matthias Benjamin Ruf
Julia Schmale, Hélène Paule Angot, Jenny Thomas, Markus Frey
German Augusto Ramirez Arroyave
Pascal Frossard, Roberto Gerson De Albuquerque Azevedo, Chaofan He
Olivier Martin, Marco Riccardi