Semi-formale Methoden bei der Entwicklung verteilter Systeme

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Semi-formale methoden bei der entwicklung verteilter systeme,” presented at the IKOM-2, Freiburg, Germany, May 07, 2001. Author copy: https://logicalhacking.com/publications/talk-brucker-semi-formale-2001/

BibTeX
@Unpublished{ talk:brucker:semi-formale:2001,
  date       = {2001-05-07},
  title      = {Semi-formale Methoden bei der Entwicklung verteilter
                Systeme},
  language   = {german},
  venue      = {Freiburg, Germany},
  author     = {Achim D. Brucker},
  eventtitle = {IKOM-2},
  areas      = {software, formal methods},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-semi-formale-2001/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-semi-formale-2001/talk-brucker-semi-formale-2001.pdf},
}