|
Search the dblp DataBase
Alon Flaisher:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:368-380 [Conf]
- Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
Regular Vacuity. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:191-206 [Conf]
- Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:296-211 [Conf]
Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|