Search results for: Hana Chockler
Design Automation Conference > 182 - 187
Formal Methods in System Design > 2009 > 34 > 1 > 37-58
Electronic Notes in Theoretical Computer Science > 2006 > 149 > 1 > 49-60
Formal Methods in System Design > 2006 > 28 > 3 > 189-212
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 373-386
Theoretical Computer Science > 2004 > 329 > 1-3 > 71-92
Information Processing Letters > 2004 > 90 > 6 > 301-305