| Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications | |
|---|---|
| Author | |
| Keywords | |
| Year of Conference |
2014
|
| Number of Pages |
79–88
|
| Google Scholar | BibTeX | XML | |