Name
Title | ||
|---|---|---|
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.14279/tuj.eceasst.46.691.709 | ECEASST |
Field | DocType | Volume |
Model checking,Unified Modeling Language,Computer science,Satisfiability,Description logic,Linear temporal logic,Theoretical computer science,Class diagram,Bounded function,Satisfiability modulo theories | Journal | 46 |
Citations | PageRank | References |
2 | 0.49 | 13 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franz Weitl | 1 | 29 | 5.70 |
| Shin Nakajima | 2 | 18 | 4.81 |