Computer-Aided Modeling of Reactive Systems
-
innbundet
,
Engelsk, 2008