@INPROCEEDINGS{Jmaiel94c,
author = {Mohamed Jmaiel},
title = {Development of Communication Protocols using Algebraic and
Temporal Specifications},
booktitle = {Contributions to the Quality of Communication-Based
Systems},
year = {1994},
editor = {G. Hommel},
series = {Forschungsbericht 94-27},
pages = {73-84},
month = {Aug.},
organization = {FB Informatik, Technische Universit{\"a}t Berlin},
owner = {mohamed},
timestamp = {2009.11.03}
}