Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun. Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. In ICSE. pages 155-164, 1996. [doi]

Abstract

Abstract is missing.