General
Coordinates
News
Curriculum Vitae
Teaching
Research
Interests
Publications
Talks
Projects
Private
Design:
Roland Weiss
General
Name:
Jörg Behrend
Position:
Doctoral Candidate
Interests:
verification technology: formal verifictaion, semiformal verifictaion
grid computing.
Research
