Publications (1)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 1996 Remove filter
filter_list from 1996 to 1996 Software Engineering

1996

  1. EVP: Integration of FDTs for the analysis and verification of communication protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)