Revistes Catalanes amb Accés Obert (RACO)

Verificación de procesos concurrentes. Un método formal y un caso de aplicación

Miguel García Hoffmann

Text complet: PDF