LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Roland Meyer
Organization: University of Kaiserslautern
Web page: http://concurrency.informatik.uni-kl.de/group/meyer/home.html
Pages in this Program
Program
Program for Wednesday, July 6th