@inproceedings{D'Osualdo:2012:SAS:2414639.2414658,
  title = "Soter: an automatic safety verifier for erlang",
  author = "D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions",
  isbn = "978-1-4503-1630-9",
  keywords = "erlang, infinite-state model checking, petri nets, static analysis, verification",
  location = "Tucson, Arizona, USA",
  pages = "137--140",
  publisher = "ACM",
  series = "AGERE! '12",
  url = "http://doi.acm.org/10.1145/2414639.2414658",
  doi = "10.1145/2414639.2414658",
}