PCSL - a language for describing real-time systems
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1981 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230016420 |
| Erscheinungsvermerk | Conf.on Automated Aids, London, GB, June 29-30, 1981 |