Showing 1 - 2 results of 2 for search 'Baier, Christel', čas poizvedbe: 0.01s
Refine Results
-
1
Principles of model checking od Baier, Christel
Izdano 2008Signatura: loading...Table of contents only
Nahaja se: loading...
Knjiga -
2
Denotational linear time semantics and sequential composition. od Baier, Christel
izdano v Information processing letters.Signatura: loading...
Nahaja se: loading...Article loading...