Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Specifying and Verifying Systems with Multiple Clocks

Specifying and Verifying Systems with Multiple Clocks

Edmund Clarke‚ Daniel Kroening and Karen Yorav

Book Title
Proc. of the 2003 International Conference on Computer Design (ICCD)
Month
October
Pages
48–55
Publisher
IEEE
Year
2003

Links

See Also

Back to Top