Mostrar 1 - 2 resultats de 2 per cerca 'Baier, Christel', hora de la petició: 0.01sec
Refinar resultats
-
1
Principles of model checking per Baier, Christel
Publicat 2008Signatura: loading...Table of contents only
Localitzat: loading...
Llibre -
2
Denotational linear time semantics and sequential composition. per Baier, Christel
Publicat a Information processing letters.Signatura: loading...
Localitzat: loading...Article loading...