Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 5/59

Click to See Next Image

Leonor Prensa Nieto: Verification of Clock Synchronization Algorithms - Experiments on a Combination of Deductive Tools
First Previous Up Next Last