BibTeX
@inproceedings{DBLP:conf/fossacs/AcetoFI98,
author = {Luca Aceto and
Wan Fokkink and
Anna Ing{\'o}lfsd{\'o}ttir},
title = {A Cook's Tour of Equational Axiomatizations for Prefix Iteration},
booktitle = {FoSSaCS},
year = {1998},
pages = {20-34},
ee = {http://link.springer.de/link/service/series/0558/bibs/1378/13780020.htm},
crossref = {DBLP:conf/fossacs/1998},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fossacs/1998,
editor = {Maurice Nivat},
title = {Foundations of Software Science and Computation Structure,
First International Conference, FoSSaCS'98, Held as Part
of the European Joint Conferences on the Theory and Practice
of Software, ETAPS'98, Lisbon, Portugal, March 28 - April
4, 1998, Proceedings},
booktitle = {FoSSaCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1378},
year = {1998},
isbn = {3-540-64300-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-03-18 by Michael Ley (ley@uni-trier.de)