Universitat Politècnica de València Explora I+D+i UPV

Volver atrás Publicación

Symbolic Model Checking of Infinite-State Systems Using Narrowing

Compartir

¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución