114
Voted
ICCD
1999
IEEE
15 years 7 months ago
1999
IEEE
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...
107
Voted
VMCAI
2010
Springer
16 years 25 days ago
2010
Springer
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...
102
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
