Вы здесь

Главная

Mueller W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification and Formal Verification of Temporal Properties of Production Automation Systems 2004 Flake S., Mueller W., Pape U., Ruf J. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.11.2004
СТ An OCL Extension for Real-Time Constraints 2002 Flake S., Mueller W. Lecture Notes in Computer Science 11.04.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Transactions on Edutainment XI 2015 Lecture Notes in Computer Science
  1. Pan Z.
  2. Cheok A. D.
  3. Mueller W.
 24.11.2015
СБ Transactions on Edutainment II 2009 Lecture Notes in Computer Science
  1. El Rhalibi A.
  2. Cheok A. D.
  3. Mueller W.
 24.10.2009
СБ Transactions on Edutainment I 2008 Lecture Notes in Computer Science
  1. Cheok A. D.
  2. Mueller W.
 02.08.2008