Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-13338-6_19 | Haifa Verification Conference |
Field | DocType | Citations |
Model checking,Software model checking,Supervisory control,Computer science,Supervisory control theory,Real-time computing,Theoretical computer science,Invariant (mathematics),Predicate (grammar),Counterexample,State space | Conference | 4 |
PageRank | References | Authors |
0.41 | 19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammad Reza Shoaei | 1 | 22 | 2.81 |
Laura Kovács | 2 | 494 | 36.97 |
Bengt Lennartson | 3 | 934 | 118.87 |