Name
Title | ||
|---|---|---|
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. |
Year | Venue | DocType |
|---|---|---|
2014 | MoDeVVa@MoDELS | Conference |
Citations | PageRank | References |
2 | 0.39 | 7 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pranav Srinivas Kumar | 1 | 12 | 1.65 |
| Abhishek Dubey | 2 | 393 | 57.92 |
| Gabor Karsai | 3 | 2465 | 192.32 |