Back to Results
First PageMeta Content
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

Document Date: 2015-02-11 15:38:37

Open Document

File Size: 124,86 KB

Share Result on Facebook
UPDATE