Specifying and Verifying Systems with Multiple Clocks.

Edmund M. Clarke, Daniel Kroening, Karen Yorav

Browse the full ICCD paper archive.