Iliyaletdinov, F. A., Казахский национальный университет имени аль-Фараби, Республика Казахстан, г. Алматы, Kazakhstan
-
Journal of Mathematics, Mechanics and Computer Science Vol. 92 No. 4 (2016): Journal of Mathematics, Mechanics and Computer Science - Computer Science
Distributed algorithms and their verification with Byzantine model checker
Abstract PDF