 |
|
|||
| Authors: | Thomas Walter |
| Group: | Communication Systems |
| Type: | Inproceedings |
| Title: | Classification of Specification and Validation Methods for Distributed Systems |
| Year: | 1998 |
| Month: | June |
| Pub-Key: | Wal98h |
| Book Titel: | In 8. GI/ITG Fachgespräch Formale Beschreibungstechniken für Verteilte Systeme |
| Pages: | 3-13 |
| Publisher: | Shaker verlag |
| Resources: | [BibTeX] |
