TY - CPAPER AU - Oleg Ivanchenko AU - Vyacheslav Kharchenko BT - ICTERI 2016 CY - Kyiv, Ukraine DA - June 21-24, 2016 LA - eng PP - Kyiv, Ukraine PY - 2016 T2 - ICTERI 2016 TI - Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools ER -