Cargando...

A temporal logic approach to object certification

Gardado en:
Detalles Bibliográficos
Main Authors: Sernadas, Amilcar, Ramos, Jaime, Sernadas, Cristina
Formato: Artigo
Assuntos:
Acceso en liña:Ver no Pergamum
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!