 |
|
|||
| Authors: | Thomas Walter |
| Group: | Communication Systems |
| Type: | Inproceedings |
| Title: | OSI Conformance Testing - A formal Approach |
| Year: | 1990 |
| Month: | January |
| Pub-Key: | WAL90c |
| Book Titel: | CH-LOTOS Workshop |
| Keywords: | LOTOS, Concurrent Systems LOTOS, Concurrent Systems Conformance Testing |
| Remarks: | CH-LOTOS Workshop |
| Resources: | [BibTeX] |
