@inproceedings{key,
 author = {Yong hun Eom and Brian Demsky},
 title = {SInfer: Inferring Information Flow Lattices for Checking Self-Stabilization},
 booktitle = {Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering},
 location = {Pasadena, California},
 month = {November},
 year = {2013}
}