University of Leicester / Eindhoven University of Technology / Delft University of Technology / VU University / Masaryk University / University College London / Thesis VU University / /
IndustryTerm
large concurrent systems / /
MusicGroup
Ph.D. / /
Organization
University of Leicester / Thesis VU University Amsterdam / Centre for Integrative Bioinformatics / University College London / VU University Amsterdam / Masaryk University / Advanced School for Computing / Delft University of Technology / Eindhoven University of Technology / /
Person
Antje Beyer / Thesis El / Jasmin Fisher / Anton Feenstra / Matt Austern / Sridith / Erik de Vink / Jim Dehnert / Caroline / Kees Verstoep / Henri Bal / Ilse / Thilo Kielmann / L.M. Bouter / Jaap Heringa / Wan Fokkink / Nicola Bonzanni / Kees van Reeuwijk / W.J. Fokkink / Byron Cook / Maik / Ana Varbanescu / Dragan Bošna / Michel / Reza / SYDNEY BRENNER / Samin Ishtiaq / Stefan Vijzelaar / /
Towards Big Bi l gy High-performance verification of large concurrent systems Elż bi