21st International Conference on Computer Aided Verification (CAV'09) and 9th International Workshop on Runtime Verification (RV'09)

 

Grenoble 25.6-2.7.2009

Selected publications

2009Křena Bohuslav, Letko Zdeněk, Nir-Buchbinder Yarden, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing, In: Runtime Verification, Berlin, DE, Springer, 2009, p. 101-114, ISBN 978-3-642-04693-3

Your IPv4 address: 54.234.42.16
Switch to IPv6 connection

DNSSEC [dnssec]