BibTeX record journals/entcs/Polak99

download as .bib file

@inproceedings{DBLP:journals/entcs/Polak99,
  author       = {Wolfgang Polak},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Formal Methods in Practice},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {62--72},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00132-X},
  doi          = {10.1016/S1571-0661(04)00132-X},
  timestamp    = {Wed, 23 Nov 2022 16:17:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Polak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics