142 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

67. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

68. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

71. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

72. Host variability and parasitism in Bombus terrestris

Johnson, Alice P. (2007)


Doctoral and Habilitation Theses