@proceedings{88,
  author = {Kate Larson and Doron Peled and Sean Sedwards},
  title = {Memory-Efficient Tactics for Randomized LTL Model Checking},
  year = {2017},
  volume = {10712},
  pages = {152-169},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10},
}