TY  - BOOK
AU  - Bjorner, Nikolaj
TI  - Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
U1  - 004.3 DIS 
PY  - 2016///
CY  - Switzerland
PB  - springer
KW  - Computer Science
ER  -