Un método de diseño de autómatas, guiado por invariantes

Título:

Un método de diseño de autómatas, guiado por invariantes

Nombre personal (NR):

Aguirre, Jorge Alberto

Articulo de: 

CACIC [CD-ROM] / Congreso Argentino de Ciencias de la Computación (5º : 1999 : Tandil) / Edición: (1999) (Libro)

Puede solicitar más fácilmente el ejemplar con: CD 229