Name
Year | Venue | Keywords |
|---|---|---|
2010 | JDCTA | bpel4ws,interface automata,verification,web service,web services aomposition |
Field | DocType | Volume |
Spin-½,Programming language,Computer science,Correctness,Artificial intelligence,Business process,Automaton,Promela,Spin model,Web service,Database,Machine learning,Formal verification | Journal | 4 |
Issue | Citations | PageRank |
8 | 6 | 0.53 |
References | Authors | |
8 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jia Mei | 1 | 16 | 2.75 |
| Huaikou Miao | 2 | 451 | 68.03 |
| Yihai Chen | 3 | 16 | 3.41 |
| Honghao Gao | 4 | 217 | 45.24 |