@phdthesis{madan-thesis,
author = "Madanlal Musuvathi",
title = "CMC: A Model Checker for Network Protocol Implementations",
school = "Stanford University",
month="December",
year=2003
}