Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun. Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Transactions on Software Engineering Methodology, 6(3):250-282, 1997. [doi]
@article{RomanMP97,
title = {Mobile UNITY: Reasoning and Specification in Mobile Computing},
author = {Gruia-Catalin Roman and Peter J. McCann and Jerome Y. Plun},
year = {1997},
doi = {10.1145/258077.258079},
url = {http://doi.acm.org/10.1145/258077.258079},
tags = {mobile},
researchr = {https://researchr.org/publication/RomanMP97},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {6},
number = {3},
pages = {250-282},
}