@InProceedings{BBS-SPIN01,
  author = 	 {J. Barnat and L. Brim and J. St\v{r}\'{\i}brn\'{a}},
  title = 	 {Distributed {LTL} Model-Checking in {S}{P}{I}{N}},
  booktitle = 	 {8th International SPIN Workshop},
  pages = 	 {200--216},
  year = 	 {2001},
  editor = 	 {Matthew B. Dwyer},
  number = 	 {2057},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer}
}