A System for Modelling and Proving Circuits.

Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet

Browse the full DATE paper archive.