Franck Cassez · 3 obras en el catálogoObrasAutomated Technology for Verification and AnalysisMModeling and Verification of Parallel ProcessesModeling and Verification of Parallel ProcessesFFormal Modeling and Analysis of Timed SystemsFormal Modeling and Analysis of Timed Systems