Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones de la editorial OPEN PUBL ASSOC

Tipo Año Título Fuente
Artículo2017Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K FrameworkELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Editorial2010PrefaceELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE