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
Anzahl der Einträge:
1
.
Majster-Cederbaum, Mila
;
Salger, Frank
A Verification Technique Based on Syntactic Action Refinement in a TCSP-Process-Algebra and the Hennessy Milner Logic.
Thiagarajan, Pazhamaneri S.
Lecture Notes in Computer Science 1742 379-380 In: Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 (1999) Berlin [u.a.] [Konferenzveröffentlichung]
Diese Liste wurde am
Sat Aug 17 01:42:40 2024 CEST
automatisch erstellt.