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 |