Symbolic model checking of process networks using interval diagram techniques (1998)

by K Strehl, L Thiele
Venue:In Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design