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

Click to See Next Image

James Worrell: On Metric Temporal Logic and Faulty Turing Machines
First Previous Up Next Last