-
1
Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
2
Sensor technology concepts, methodologies, tools, and applications
Veröffentlicht 2020Inhaltsverzeichnis
Buch