Claude Jard · 4 obras en el catálogoObrasFormal Modeling and Analysis of Timed Systems Lecture Notes in Computer ScienceCCommunicating embedded systemsCommunicating embedded systemsMModeling and Verification of Parallel ProcessesModeling and Verification of Parallel ProcessesFFormal Modeling and Analysis of Timed SystemsFormal Modeling and Analysis of Timed Systems