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

Publicaciones en la fuente ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

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