ICP and IC3.

Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker

Browse the full DATE paper archive.