Resumen de Unfoldings :: a partial-order approach to model checking - Dialnet

Ir al contenido

Ayuda

Resumen de Unfoldings :: a partial-order approach to model checking

Javier Esparza, Keijo Heljanko

http://www.springer.com/cda/content/document/cda_downloaddocument/9783540774259-t1.pdf?SGWID=0-0-45-516007-p173793207

Fundación Dialnet

Acceso de usuarios registrados

Imagen de identificación

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

© 2001-2024 Fundación Dialnet · Todos los derechos reservados

Coordinado por: