Correct system design symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
作者:edited by Roland Meyer, Andre Platzer, Heike Wehrheim.
出版者:Springer International Publishing : Imprint: Springer