Bibtex:

@misc{JNW98,
  AUTHOR    = { Jackson, Daniel
                and Ng, Yuchung
                and Wing, Jeannette M. },
  TITLE     = { A Nitpick Analysis of Mobile IPv6 },
  NOTE      = { to appear Formal Aspects of Computing },
  YEAR      = { 1998 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.