4 Artículos

An Efficient Algorithm to Determine Probabilistic Bisimulation

Acceso

en línea

Jan Friso Groote, Jao Rivera Verduzco and Erik P. De Vink

Revista: Algorithms Formato: Electrónico

Tabla de contenido: Vol: 11 Num: 0 Par: 9 Año: 2018

Statistical Certification of Software Systems

Solicitud

usuarios registrados

Alessandro Di Bucchianico; Jan Friso Groote; Kees Van Hee; Ronald Kruidhof Pág. 346 - 359

Revista: COMMUNICATIONS IN STATISTICS. SIMULATION AND COMPUTATION Formato: Impreso

Tabla de contenido: Vol: 37 Num: 2 Par: 0 Año: 2008

« Anterior Página: 1 de 1 Siguiente »