@INPROCEEDINGS{jp94a,
author = {Mohamed Jmaiel and Pepper Pepper},
title = {Development of Communication Protocols using Algebraic and
Temporal Specifications},
booktitle = {Proceedings of the International Workshop on Advanced
Software Technology},
year = {1994},
address = {Shanghai},
month = {Sept.},
organization = {Jiao Tong University},
days = {15-16},
keywords = {communication protocol, temporal logic},
location = {pepper},
owner = {mohamed},
timestamp = {2009.11.03}
}