@proceedings{194,
  keywords = {f6mdk},
  author = {Pranav Kumar and Abhishek Dubey and Gabor Karsai},
  title = {Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications},
  year = {2014},
  pages = {79–88},
}