BibTeX record conf/nato/Martin96

download as .bib file

@inproceedings{DBLP:conf/nato/Martin96,
  author       = {Alain J. Martin},
  editor       = {Manfred Broy},
  title        = {A program transformation approach to asynchronous {VLSI} design},
  booktitle    = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
                  Design, Marktoberdorf, Germany},
  pages        = {441--467},
  year         = {1996},
  timestamp    = {Tue, 14 Nov 2006 16:17:55 +0100},
  biburl       = {https://dblp.org/rec/conf/nato/Martin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics