Jump to Navigation

Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos

TitleObservadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos
Publication TypeThesis
Year of Publication1998
AuthorsMerino, P.
Date Publishedjun
UniversityUniversida de Málaga
Thesis Typephd


Main menu 2

Biblio | by Dr. Radut