DMCA

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

by Damien Thivolle , Hubert Garavel
Citations:7 - 0 self