Website der UB
|
Impressum
|
Datenschutzerklärung
|
Drucken
|
Startseite
Stöbern
Volltexte
Universitätsbibliographie
Statistik
Über MADOC
Hilfe
Kontakt
Login
Erweiterte Suche
Zurück zur Übersicht
Exportieren als
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Zitation
Gruppieren nach:
Dokumenttyp
|
Erscheinungsjahr
|
Keine Sortierung
Springe zu:
1999
Anzahl der Einträge:
1
.
1999
Baier, Christel
;
Engelen, Bettina
Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach.
Katoen, Pieter
Lecture Notes in Computer Science 1601 34-52 In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings (1999) Berlin [u.a.] [Konferenzveröffentlichung]
Diese Liste wurde am
Sun Dec 22 01:28:45 2024 CET
automatisch erstellt.