J.-P. Talpin;A. Benveniste;B. Caillaud;C. Jard;Z. Bouziane;H. Canon
-;-;-;-;-;-
Synchronous Structures
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Synchronous structures
Information and Computation
A model-extraction approach to verifying concurrent C programs with CADP
Science of Computer Programming