Temporal annotations and their validation
Amir Pnueli
(szerző)
Weizmann Institute of Sciences
New York University
Recording date: 2006-09-19 11:45:00
Upload time: 2010-06-23 15:16:00