Central Library Search for 'au:"Cassez, Franck."'

Automated Technology for Verification and Analysis

. XXIV, 430 p. 109 illus. 9783319119366

Place Hold on Automated Technology for Verification and Analysis

Formal Modeling and Analysis of Timed Systems

. X, 295 p. 9783540857785

Place Hold on Formal Modeling and Analysis of Timed Systems

Automated Technology for Verification and Analysis

. XXIV, 430 p. 109 illus. 9783319119366

Place Hold on Automated Technology for Verification and Analysis