Alexander Nadel (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna: Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75

Selection of 1 from 6 records - Alexander Nadel has 9 coauthors