@inproceedings{5542,
  title = "jpf-concurrent: an extension of Java PathFinder for java.util.concurrent",
  author = "Mateusz Ujma and Nastaran Shafiei",
  year = "2011",
  booktitle = "To Appear in the Proceedings of Java Pathfinder Workshop 2011, Lawrence Kansas",
}