@InProceedings{ruys:spin99,
  Author = "Theo C. Ruys",
  Title = "{Xspin/Project - Integrated Validation Management for Xspin}",
  Booktitle = "{Theoretical and Practical Aspects of SPIN Model Checking.
                Proceedings of the 5th and 6th International SPIN Workshop}",
  Editor = "Dennis R. Dams and Rob Gerth and Stefan Leue and Mieke Massink",
  Address = "Trento, Italy (5th) and Toulouse, Franse (6th)",
  Publisher = "{Springer-Verlag, Berlin}",
  Series = "{Lecture Notes in Computer Science (LNCS)}",
  Number = 1680,
  Year = 1999,
  Pages = "108--119"
}