Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22156)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3705)
Fakultät für Elektrotechnik und Informationstechnik
(2098)
Fakultät für Humanwissenschaften
(2332)
Fakultät für Informatik
(3330)
Fakultät für Luft- und Raumfahrttechnik
(5404)
Fakultät für Staats- und Sozialwissenschaften
(2700)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2612)
Fakultäten (HAW)
(1755)
Forschungszentren und -initiativen
(2116)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Autoren:
Kuntz, Matthias; Siegle, Markus
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Deriving symbolic representations from stochastic process algebras
Titel Sammlung:
Process Algebra and Probabilistic Methods, Proc. PAPM-PROBMIV'02
Herausgeber Sammlung:
Hermanns, Holger; Segala, Roberto
Titel Konferenzpublikation:
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Untertitel Konferenzpublikation:
Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
2399
Konferenztitel:
Joint International Workshop PAPM-PROBMIV (2., 2002, Kopenhagen)
Tagungsort:
Copenhagen, Denmark
Jahr der Konferenz:
2002
Datum Beginn der Konferenz:
25.07.2002
Datum Ende der Konferenz:
26.07.2002
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2002
Seiten von - bis:
188-206
Sprache:
Englisch
ISBN:
978-3-540-43913-4 ; 978-3-540-45605-6
DOI:
10.1007/3-540-45605-8_12
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 3 - Institut für Technische Informatik