Documentos de Holub V. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Área de conocimiento: "Ciencias de la computación"

Subtipo de publicación

Conference Object(1)

Publisher

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07(1)

Área temáticas

Ciencias de la computación(1)

Año de Publicación

Origen

Streaming state space: A method of distributed model verification

Conference Object

Abstract: We present an alternative to traditional approaches of parallel and distributed model verification.

Palabras claves:

Holub V., Petr Tůma