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