דנה פיסמן

אקדמי בכיר

The temporal logic sugar

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
שפת פרסום אנגלית
דפים 363-367
סטטוס פרסום פורסם - 01.01.2001

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science
גישה למסמך
10.1007/3-540-44585-4_33
קבצים וקישורים אחרים
Link to publication in Scopus