Ulrich Hanneman

ספרים שבהם Ulrich Hanneman מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Concurrency verificationW.-P. de Roever

Concurrency verification

W.-P. de Roever · 2001