Sciweavers

ICCD
1999
IEEE
91views Hardware» more  ICCD 1999»
14 years 3 months ago
Architectural Synthesis of Timed Asynchronous Systems
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
Brandon M. Bachman, Hao Zheng, Chris J. Myers
VMCAI
2010
Springer
14 years 8 months ago
Automatic Abstraction for Congruences
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
Andy King, Harald Søndergaard