@inproceedings{lerda99distributed,
  author = "Flavio Lerda and Riccardo Sisto",
  title = "Distributed-memory Model Checking with {SPIN}",
  volume = 1680,
  year = 1999,
  publisher = "Springer-Verlag",
  series = "LNCS",
  booktitle = "Proc. of the 5th {I}nternational {SPIN} Workshop",
}