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 1 von 50
    Datensatz exportieren als...
  • BibTeX
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen
Berichte zur Rechnerarchitektur : 7,2 (Alle Bände)
2001
Signatur: MQ12566

Details

Autor(en) / Beteiligte
Titel
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen
Ist Teil von
Ort / Verlag
Jena : FSU
Erscheinungsjahr
2001
Sprache
Deutsch
Identifikatoren
OCLC-Nummer: 248227744, 248227744
Titel-ID: 990008336640106463
Format
42 S. : graph. Darst.

Lade weitere Informationen...