Nicolas Halbwachs · 3 obras en el catálogoObrasComputer aided verificationTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsSynchronous programming of reactive systems
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
