Showing 1 - 2 results of 2 for search 'Baier, Christel', Forespørselstid: 0.01s
Refine Results
-
1
Principles of model checking af Baier, Christel
Udgivet 2008Klassifikationsnummer: loading...Table of contents only
Findes i: loading...
Bog -
2
Denotational linear time semantics and sequential composition. af Baier, Christel
Udgivet i Information processing letters.Klassifikationsnummer: loading...
Findes i: loading...Article loading...