0:25
Microsoft Research
784 views
View & DownloadINI Seminar Room 2
470 views
View & DownloadIsrael Institute for Advanced Studies
1.5K views
View & DownloadMicrosoft Research
861 views
View & DownloadMicrosoft Research
371 views
View & DownloadTLA+ - The Temporal Logic of Actions
107 views
View & DownloadConference on Computer-Aided Verification
125 views
View & DownloadMicrosoft Research
108 views
View & DownloadfranzoesischerDenker
333 views
View & Download