AVANZADA

2 Artículos

Fair Simulation Relations, Parity Games, and State Space Reduction for B¿chi Automata

Solicitud

usuarios registrados

Etessami, Kousha, Wilke, Thomas, Schuller, Rebecca A Pág. 1159 - 1175

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 34 Num: 5 Par: 0 Año: 2005

« Anterior Página: 1 de 1 Siguiente »