Fingerprint
Dive into the research topics of 'AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING
Hana Chockler (Inventor), Oded Margalit (Inventor), Dmitry Pidan (Inventor), Sitvanit Ruah (Inventor)
Research output: Patent