Year | DOI | Venue |
---|---|---|
2006 | 10.1109/IPDPS.2006.1639423 | IPDPS |
Keywords | Field | DocType |
computer science,process algebra,algebra,formal verification,real time system,algorithm design and analysis,automata theory,real time,real time systems,software quality,machinery,mathematics,automata | Automata theory,Abstraction,Algorithm design,Computer science,sort,Automaton,Theoretical computer science,Real-time operating system,Process calculus,Formal verification | Conference |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Friso Groote | 1 | 1626 | 154.19 |
Michel A. Reniers | 2 | 254 | 30.73 |
Yaroslav S. Usenko | 3 | 125 | 10.75 |