Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation:

First Page		Document Content
Date: 2015-02-11 15:38:37 Software verification Rabbit Model Checker Ambient intelligence Software engineering Year of birth missing CHIC Lecture Notes in Computer Science International Conference on Formal Techniques for Networked and Distributed Systems		Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation: Add to Reading List Source URL: www.sosy-lab.org Download Document from Source Website File Size: 124,86 KB Share Document on Facebook