Weiter zum Inhalt Weiter zur Fußzeile

Lecture Notes in Computer Science (Fachzeitschrift)

Aktivität: Begutachtung von Manuskripten und herausgeberische TätigkeitenHerausgebertätigkeit

Personen und Einrichtungen

  • Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Herausgeber:in)
  • Boudewijn R. Haverkort - , University of Twente (Herausgeber:in)
  • Holger Hermanns - , INRIA centre at the University Grenoble Alpes (Herausgeber:in)
  • Joost-Pieter Katoen - , Rheinisch-Westfälische Technische Hochschule Aachen (Herausgeber:in)
  • Markus Siegle - , Universität der Bundeswehr München (Herausgeber:in)

Datum

2004

Beschreibung

Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0

Schlagworte