@inproceedings{jcspCPA2005,
  author =       {Vladimir Klebanov and Philipp R{\"u}mmer and Steffen Schlager and Peter H. Schmitt},
  title =        {Verification of {JCSP} Programs},
  month = {September},
  year = {2005},
  pages = {203--218},
  keywords = {Program verification, concurrency, Java, CSP, JCSP},
  ISBN = {1-58603-561-4},
  booktitle = {Communicating Process Architectures 2005},
  editor = {J.F. Broenink and H.W. Roebbers and J.P.E. Sunter and P.H. Welch and D.C. Wood},
  volume = {63},
  series = {Concurrent Systems Engineering Series},
  address = {IOS Press, The Netherlands},
  publisher = {IOS Press},
  ISSN = {1383-7575},
  refereed = {yes}
}