×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verificationa program]
Home >
verificationa program
Symbolic Synthesis of Masking Fault-Tolerant Distributed Programs
23 views
Symbolic Synthesis of Masking Fault-Tolerant Distributed Programs Borzoo Bonakdarpour Workshop APRETAF January 23, 2009 Joint work with Sandeep Kulkarni.
212 views