$$D^3$$ : Data-Driven Disjunctive Abstraction — 1st ed. 2016 (English)
- New search for: Peleg, Hila
- New search for: Shoham, Sharon
- New search for: Yahav, Eran
- New search for: Peleg, Hila
- New search for: Shoham, Sharon
- New search for: Yahav, Eran
In:
Verification, Model Checking, and Abstract Interpretation
3
;
185-205
;
2015
- Article/Chapter (Book) / Electronic Resource
-
Title:$$D^3$$ : Data-Driven Disjunctive Abstraction
-
Contributors:
-
Published in:Theoretical Computer Science and General Issues ; 9583, 3 ; 185-205
-
Edition:1st ed. 2016
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2015-12-25
-
Size:21 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: