1 - 2 toradh á dtaispeáint as 2 toradh san iomlán ar an gcuardach 'Baier, Christel', am iarratais: 0.01s
Beachtaigh na torthaí
-
1
Principles of model checking de réir Baier, Christel
Foilsithe / Cruthaithe 2008Gairmuimhir: loading...Table of contents only
Suíomh: loading...
LEABHAR -
2
Denotational linear time semantics and sequential composition. de réir Baier, Christel
Foilsithe in Information processing letters.Gairmuimhir: loading...
Suíomh: loading...Alt loading...