6th ACSS 2019: Kolkata, India - Volume 1

WSN and IoT Applications

Software Engineering and Formal Specification for Secured Software Systems

VLSI and Graph Algorithms

a service of Schloss Dagstuhl - Leibniz Center for Informatics