2011): SAT-based Verification for Timed Component Connectors (0)

by S Kemper
Venue:Science of Computer Programming doi:10.1016/j.scico.2011.02.003