Verification of GALS Systems by Combining Synchronous Languages and Process Calculi (2009)

by H Garavel, D Thivolle
Venue:In Model Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN’2009, Lecture Notes in Computer Science