@proceedings{532,
  author = {Nilabja Roy and Akshay Dabholkar and Larry Dowdy and Douglas Schmidt},
  title = {Modeling Software Contention using Colored Petri Nets},
  year = {2008},
  journal = {Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)},
  month = {09/2008},
  address = {Baltimore, MD, USA},
}