ICTCC 2014: Ho Chi Minh City, Vietnam

Formal Methods for Self-Adaptive Systems

Nature of Computation and Communication

maintained by Schloss Dagstuhl LZI at University of Trier