On the Formal Verification of Systems of Synchronous Software Components.

Henning Gnther, Stefan Milius, Oliver Mller

Browse the full SAFECOMP paper archive.