Year | Venue | Field |
---|---|---|
2011 | ECEASST | Model checking,Computer science,Automaton,Theoretical computer science,Automation,Dynamical systems theory,Automation surprise,Hybrid system,Bounded function,Satisfiability modulo theories |
DocType | Volume | Citations |
Journal | 45 | 14 |
PageRank | References | Authors |
0.86 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
E. J. Bass | 1 | 200 | 26.64 |
Karen M. Feigh | 2 | 72 | 12.62 |
Elsa L. Gunter | 3 | 447 | 51.38 |
John Rushby | 4 | 2459 | 235.69 |