Semi-formale Methoden bei der Entwicklung verteilter Systeme
by Achim D. Brucker
Keywords:
Categories:
Documents:
Please cite this article as follows:
Achim D. Brucker.
Semi-formale Methoden bei der Entwicklung verteilter Systeme. IKOM-2, Freiburg, Germany, 7. may. 2001.
(slides) (handout) (BibTeX) (
BibTeX
@Talk{ talk:brucker:semi-formale:2001,
}
| address | = | {Freiburg, Germany}, | |
| author | = | {Achim D. Brucker}, | |
| day | = | {7}, | |
| event | = | {IKOM-2}, | |
| handout | = | {https://www.brucker.ch/bibliography/download/2001/talk-brucker-semi-formale-2001-2x2.pdf}, | |
| isodate | = | {2001-05-07}, | |
| language | = | {german}, | |
| lecturer | = | {Achim D. Brucker}, | |
| month | = | {may}, | |
| slides | = | {https://www.brucker.ch/bibliography/download/2001/talk-brucker-semi-formale-2001.pdf}, | |
| title | = | {Semi-formale Methoden bei der Entwicklung verteilter Systeme}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker-semi-formale-2001}, | |
| year | = | {2001}, |