BibTeX record conf/eurovav/DuftschmidMSJ98

download as .bib file

@inproceedings{DBLP:conf/eurovav/DuftschmidMSJ98,
  author       = {Georg Duftschmid and
                  Silvia Miksch and
                  Yuval Shahar and
                  Peter D. Johnson},
  editor       = {Frank van Harmelen},
  title        = {Multi-Level Verification of Clinical Protocols},
  booktitle    = {1998 European Workshop on Validation and Verification of Knowledge-Based
                  Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {16},
  publisher    = {CEUR-WS.org},
  year         = {1998},
  url          = {https://ceur-ws.org/Vol-16/05-duftschmid.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/eurovav/DuftschmidMSJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics