|
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] |