Temporal annotations and their validation
Amir Pnueli
(szerző)
Weizmann Institute of Sciences
New York University
Felvétel hossza (en): 01:47:40
Recording date: 2006-09-19 11:45:00
Upload time: 2010-06-23 15:16:00
Attachments
Presentations
Lejátszási lista: