Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 8 von 19
    Datensatz exportieren als...
  • BibTeX
Specification and refinement of reactive systems : 26.09. - 30.09.94 (9439)
Dagstuhl-Seminar-Report : 98 (Alle Bände)
1994
Signatur: TUF1092-98

Details

Autor(en) / Beteiligte
Titel
Specification and refinement of reactive systems : 26.09. - 30.09.94 (9439)
Ist Teil von
Ort / Verlag
Wadern : Schloß Dagstuhl, Internat. Begegnungs- und Forschungszentrum für Informatik
Erscheinungsjahr
1994
Sprache
–
Identifikatoren
OCLC-Nummer: 1106789771, 1106789771
Titel-ID: 990006784160106463
Format
19 S. : graph. Darst.
Systemstelle
TUF

Lade weitere Informationen...