Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Fakultäten (univ.)
(987)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(151)
Fakultät für Elektrotechnik und Informationstechnik
(60)
Fakultät für Humanwissenschaften
(141)
Fakultät für Informatik
(242)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(22)
INF 2 - Institut für Softwaretechnologie
(58)
INF 3 - Institut für Technische Informatik
(8)
INF 4 - Institut für Angewandte Informatik
(12)
INF 5 - Institut für Anwendungssicherheit
(6)
INF 6 - Institut für Systemsicherheit
(27)
INF 7 - Institut für Datensicherheit
(46)
INF 8 - Institut für Schutz und Zuverlässigkeit
(6)
Technische Berichte
(61)
Fakultät für Luft- und Raumfahrttechnik
(268)
Fakultät für Staats- und Sozialwissenschaften
(77)
Fakultät für Wirtschafts- und Organisationswissenschaften
(53)
Fakultäten (HAW)
(97)
An-Institute
Forschungszentren
(226)
Weitere Einrichtungen
(93)
Kongresse
(315)
Preprints
(28)
inside.unibw
(33)
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Autor:
Kahl, Wolfram
Titel:
Parallel Composition and Decomposition of Spezifications
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik
Report-Nummer:
2001-01
Jahr, Monat:
2001-01
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte