Symbolic model checking of process networks using interval diagram techniques.

Karsten Strehl, Lothar Thiele

Browse the full ICCAD paper archive.