L. Fix

发表

Guy E. Blelloch, Babak Falsafi, Nikolaos Hardavellas, 2007, SPAA '07.
Thomas A. Henzinger, Rajeev Alur, Limor Fix, 1994, CAV.
Limor Fix, Gila Kamhi, L. Fix, 1998, ICCAD.
Moshe Y. Vardi, Lenore D. Zuck, Sela Mador-Haim, 2005, CAV.
Limor Fix, L. Fix, 2008, 25 Years of Model Checking.
L. Fix, G. Kamhi, S. Hazelhurst, 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Babak Falsafi, Anastasia Ailamaki, Todd C. Mowry, 2006, ASID '06.
Assaf Schuster, Orna Grumberg, Limor Fix, 2005, ATVA.
K. McMillan, L. Fix, Leopold Haller, 2016, EDA for IC System Design, Verification, and Testing.
Luciano Lavagno, Limor Fix, L. Fix, 2003, IEEE Des. Test Comput..
Nissim Francez, Orna Grumberg, Limor Fix, 1990, Programming Concepts and Methods.
Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Moshe Y. Vardi, Roy Armoni, Nir Piterman, 2005, BMC@CAV.
Avner Landver, Moshe Y. Vardi, Boris Ginsburg, 2002, TACAS.
Armando Tacchella, Enrico Giunchiglia, Moshe Y. Vardi, 2001, CAV.
Moshe Y. Vardi, Limor Fix, Gila Kamhi, 2001, SMC@FLoC.
Limor Fix, Gila Kamhi, Ziv Binyamini, 1998, FMCAD.
G. Kamhi, L. Fix, L. Fix, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
Limor Fix, Gila Kamhi, Osnat Weissberg, 1997, CAV.
Gregory D. Hager, Martial Hebert, Daniel P. Lopresti, 2016, ArXiv.
Orna Grumberg, Moshe Y. Vardi, Roy Armoni, 2003, CAV.
Fred B. Schneider, Limor Fix, F. Schneider, 1994, FTRTFT.
Thomas A. Henzinger, Limor Fix, T. Henzinger, 1994 .
Fred B. Schneider, Limor Fix, F. Schneider, 1994, ICALP.
Nissim Francez, Orna Grumberg, Limor Fix, 1992, Theor. Comput. Sci..
Nissim Francez, Orna Grumberg, Limor Fix, 1991, ICALP.
Thomas A. Henzinger, Rajeev Alur, Limor Fix, 1999, Theor. Comput. Sci..
Orna Grumberg, Limor Fix, L. Fix, 1993, J. Log. Comput..
Sela Mador-Haim, Limor Fix, L. Fix, 1998, FMCAD.