Publications
Filter by
Open menu
1 result for
Amiram Hayardeny
Concurrent and distributed desk checking
Amiram Hayardeny
Shachar Fienblit
et al.
2004
IPDPS 2004