author = { Dams, Dennis AND Roever, Willem-Paul de AND Hannemann, Ulrich AND Steffen, Martin AND Dams, Dennis René },

title = { Concurrency, compositionality, and correctness essays in honor of Willem-Paul de Roever },

publisher = {Springer},

isbn = {364211511X},

isbn = {9783642115110},

keywords = { Parallel programming (Computer science) , Computer programs Correctness , Computer science , Aufsatzsammlung , Festschrift , Nebenläufigkeit , Programmierung , Programmverifikation , Model Checking , Automatisches Beweisverfahren , Abstraktion , Formale Methode },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science / Theoretical Computer Science and General Issues ; 5930 ; Festschrift},

booktitle = {Festschrift},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }