Nicolás Barcia

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Luis Mengual, Nicolás Barcia, Ernesto Jiménez, Ernestina Menasalvas Ruiz, Julio Setién, Javier Yágüez
Automatic implementation system of security protocols based on formal description techniques. ISCC (2002)