Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing

@inproceedings{Roman-al:ICSE96,
  author    = {Gruia{-}Catalin Roman and
               Peter J. McCann and
               Jerome Y. Plun},
  title     = {Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing},
  booktitle = {ICSE},
  pages     = {155--164},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}