Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Browse the full CAV paper archive.