PavonHQFO91'

@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}
}