dblp.uni-trier.de www.uni-trier.de

2. FMCAD 1998: Palo Alto, California, USA

Ganesh Gopalakrishnan, Phillip J. Windley (Eds.): Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Lecture Notes in Computer Science 1522 Springer 1998, ISBN 3-540-65191-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/fmcad/1998,
  editor    = {Ganesh Gopalakrishnan and
               Phillip J. Windley},
  title     = {Formal Methods in Computer-Aided Design, Second International
               Conference, FMCAD '98, Palo Alto, California, USA, November 4-6,
               1998, Proceedings},
  booktitle = {FMCAD},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1522},
  year      = {1998},
  isbn      = {3-540-65191-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Copyright © Mon Nov 2 20:36:32 2009 by Michael Ley (ley@uni-trier.de)