Year | DOI | Venue |
---|---|---|
2013 | 10.1007/s10703-012-0172-2 | Formal Methods in System Design |
Keywords | Field | DocType |
satisfiability modulo theories,special issue | Computer science,Theoretical computer science,Satisfiability modulo theories | Journal |
Volume | Issue | ISSN |
42 | 1 | 1572-8102 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ofer Strichman | 1 | 1071 | 63.61 |
Daniel Kroening | 2 | 3084 | 187.60 |