D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham. Modeling and Formal Specification of the Personal Communication Service. In INFOCOM. pages 756-765, 1993.
@inproceedings{DesbiensBDD93,
title = {Modeling and Formal Specification of the Personal Communication Service},
author = {D. Desbiens and Gregor von Bochmann and Anindya Das and Joumana Dargham},
year = {1993},
tags = {modeling},
researchr = {https://researchr.org/publication/DesbiensBDD93},
cites = {0},
citedby = {0},
pages = {756-765},
booktitle = {INFOCOM},
}