Showing 1 - 2 results of 2 for search 'Baier, Christel', זמן שאילתה: 0.01s
Refine Results
-
1
Principles of model checking מאת Baier, Christel
יצא לאור 2008סימן המיקום: loading...Table of contents only
ממוקם: loading...
ספר -
2
Denotational linear time semantics and sequential composition. מאת Baier, Christel
הוצא לאור ב Information processing letters.סימן המיקום: loading...
ממוקם: loading...Article loading...