@inproceedings{DBLP:conf/forte/PavonHQFO91,
author = {Santiago Pav{\'o}n and
M. Hulstr{\"o}m and
Juan Quemada and
David de Frutos-Escrig and
Y. Ortega},
title = {Inverse Expansion},
booktitle = {FORTE},
year = {1991},
pages = {297-312},
crossref = {DBLP:conf/forte/1991},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/1991,
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Formal Description Techniques, IV, Proceedings of the IFIP
TC6/WG6.1 Fourth International Conference on Formal Description
Techniques for Distributed Systems and Communication Protocols,
FORTE '91, Sydney, Australia, 19-22 November 1991},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-2},
year = {1992},
isbn = {0-444-89402-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}