MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dana Fisman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Beyond Regular Model Checking  
  • by Dana Fisman, Amir Pnueli — 2001 — In Proc. of FSTTCS’01, volume 2245 of LNCS
  • …Beyond Regular Model Checking Dana Fisman and Amir Pnueli Faculty of Mathematics and Computer…
  • Cited by 5 (1 self) – Add To MetaCart
  • Structural Contradictions  
  • by Cindy Eisner, Dana Fisman
  • …Structural Contradictions Cindy Eisner 1 and Dana Fisman 1,2 1 IBM Haifa Research Laboratory 2…
  • Add To MetaCart
  • The safety simple subset  
  • by Shoham Ben-david, Dana Fisman, Sitvanit Ruah — First International Haifa Verification Conference, volume 3875 of Lecture
  • …The Safety Simple Subset ⋆ Shoham Ben-David 1 Dana Fisman 2,3⋆⋆ Sitvanit Ruah 3 1 University…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB