Search

You searched for: Auteur Dams, Dennis Remove constraint Auteur: Dams, Dennis
1 - 2 of 2
Number of results to display per page

Search Results

1. FM 2009: Formal Methods
thumbnail
Full text!
Author:
Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
2. Concurrency, Compositionality, and Correctness
thumbnail
Full text!
Author:
Dams, Dennis; Hannemann, Ulrich; Kanade, Takeo; Steffen, Martin
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book