Redirigiendo al acceso original de articulo en 16 segundos...
ARTÍCULO
TITULO

SE-LTL Model-checking on Timed GRAFCETS via e-TPN

Médésu Sogbohossou    
Rodrigue Yehouessi    
Tahirou Djara    
Theophile Aballo    
Antoine Vianou    

Resumen

No disponible