Nir Piterman

Nir Piterman

Professor in Computer Science, University of Gothenburg, Sweden
Verified email at gu.se
Cited by 6217
Verification Automata Logic Games Executable Biology
Judith Somekh

Judith Somekh

University of Haifa, Department of Information Systems
Verified email at is.haifa.ac.il
Cited by 468
biomedical informatics bioinformatics systems biology executable biology