Proceedings of the Institute for System Programming of the RAS
Keyword(s):
2013 ◽
Vol 364
◽
pp. 419-423
◽