Skip to contents Dams, Dennis [Other]; Dams, Dennis René [Editor] ; International SPIN Workshops 5 1999 - 6, 1999, International SPIN Workshop 5 1999 Trient, International SPIN Workshop 6 1999 Toulouse Theoretical and practical aspects of SPIN model checking : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1680 Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor] Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5930
Dams, Dennis [Other]; Dams, Dennis René [Editor] ; International SPIN Workshops 5 1999 - 6, 1999, International SPIN Workshop 5 1999 Trient, International SPIN Workshop 6 1999 Toulouse Theoretical and practical aspects of SPIN model checking : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1680
Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor] Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5930
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Dams, Dennis (2) Wert ausschließen Dams, Dennis René (2) Wert ausschließen Hannemann, Ulrich (1) Wert ausschließen International SPIN Workshop 5 1999 Trient (1) Wert ausschließen International SPIN Workshop 6 1999 Toulouse (1) Wert ausschließen International SPIN Workshops 5 1999 - 6, 1999 (1) Wert ausschließen Roever, Willem-Paul de (1) Wert ausschließen Steffen, Martin (1) Wert ausschließen Show more show less