349 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

51. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

57. Beitrag zum angewandten Technologiemanagement

Beer, Adrian Daniel (2000)


Doctoral and Habilitation Theses

59. Die Strasse in der vergessenen Landschaft

Zschokke, Theodor Walter (1986)


Doctoral and Habilitation Theses

69. OMS development framework

Würgler, Alain Pierre (2000)


Doctoral and Habilitation Theses

74. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions