@InProceedings{   BouajjaniEneaMukundRoy:2019,
  Author        = "Bouajjani, Ahmed and Enea, Constantin and Mukund, Madhavan and Roy, Rajarshi",
  BookTitle     = "Proc. of NETYS'19",
  date-added    = "2018-12-22 16:14:25 +0100",
  date-modified = "2018-12-22 16:17:30 +0100",
  Title         = "On Verifying TSO Robustness for Event-Driven Asynchronous Programs",
  Year          = "2019",
  File          = "bemr-netys2018-a (0) - a - a - h.pdf"
}

@InProceedings{ BouajjaniEneaMukundRoy:2019, Author = "Bouajjani, Ahmed and Enea, Constantin and Mukund, Madhavan and Roy, Rajarshi", BookTitle = "Proc. of NETYS'19", date-added = "2018-12-22 16:14:25 +0100", date-modified = "2018-12-22 16:17:30 +0100", Title = "On Verifying TSO Robustness for Event-Driven Asynchronous Programs", Year = "2019", File = "bemr-netys2018-a (0) - a - a - h.pdf" }