דילוג לניווט ראשי דילוג לחיפוש דילוג לתוכן הראשי

Establishing Behavioral Compatibility of Software Components without State Explosion

פרסום מחקרי: נייר עבודה / גרסה מוקדמתנייר עבודה

שפה מקוריתאנגלית
מקום הפרסוםBoston, MA 02115
סטטוס פרסוםפורסם - 1 מרץ 2003

פורמט ציטוט ביבליוגרפי