Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E.M. Clarke
Specifying and Verifying Systems With Multiple Clocks
Hybrid Decision Diagrams. Overcoming the Limitations of MTBDDs and BMDs
