 |
|
|||
| Authors: | Hugo Fierz, M Müller, S Netos |
| Group: | System Engineering |
| Type: | Inproceedings |
| Title: | CIP - Communicating Interacting Processes |
| Year: | 1993 |
| Month: | January |
| Pub-Key: | FIE93a |
| Book Titel: | SAFECOMP 93, Proceedings of the 12th Int. Conference on Computer Safety, Reliability and Security |
| Keywords: | Entwicklungsmethode Entwicklungsmethode Formale Modelle |
| Remarks: | SAFECOMP 93, Proceedings of the 12th Int. Conference on Computer Safety, Reliability and Security. Poznan, Poland. |
| Location: | Poznan |
| Resources: | [BibTeX] |
