From Reachability to Temporal Specifications in Game Theory

דובר:
Orna Kupferman - COLLOQUIUM LECTURE
תאריך:
יום שלישי, 29.11.2016, 14:30
מקום:
חדר 337-8 טאוב.

בחזרה לאינדקס האירועים