David Laprell

202020212022202320241 2 5 7 1

Genel erişim

1 makale

0 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Klaus WehrleProfessor at RWTH Aachen Universitycomsys.rwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip
Daniel SchemmelImperial College Londonimperial.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Julian BüningRWTH Aachen Universityrwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip

David Laprell

comsys.rwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
Symbolic partial-order execution for testing multi-threaded programs D Schemmel, J Büning, C Rodríguez, D Laprell, K Wehrle International Conference on Computer Aided Verification, 376-400, 2020	16	2020
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs D Laprell, K Wehrle

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–2

Yıllık alıntı sayısı