@INPROCEEDINGS{ASE00,
  AUTHOR = "David Y.W. Park, Ulrich Stern, Jens. U. Skakkebaek, and
		  David L. Dill",
  TITLE  = "Java Model Checking",
  BOOKTITLE = "Proc. of the First International Workshop on Automated Program Analysis, Testing and Verification", 
  Note="Limerick, Ireland",
  month="June",		   
  year="2000"}