BibTeX record conf/ddecs/ManikG08

download as .bib file

@inproceedings{DBLP:conf/ddecs/ManikG08,
  author       = {Miroslav Manik and
                  Elena Gramatov{\'{a}}},
  editor       = {Bernd Straube and
                  Milos Drutarovsk{\'{y}} and
                  Michel Renovell and
                  Peter Gramata and
                  M{\'{a}}ria Fischerov{\'{a}}},
  title        = {Boolean Formalisation of the {PMC} Model for Faulty Units Diagnosis
                  in Regular Multi-Processor Systems},
  booktitle    = {Proceedings of the 11th {IEEE} Workshop on Design {\&} Diagnostics
                  of Electronic Circuits {\&} Systems {(DDECS} 2008), Bratislava,
                  Slovakia, April 16-18, 2008},
  pages        = {144--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/DDECS.2008.4538773},
  doi          = {10.1109/DDECS.2008.4538773},
  timestamp    = {Fri, 24 Mar 2023 00:04:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/ManikG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics