{"labels":{"en":"Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems)"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 1843"},"claims":{"P31":"Q13442814","P1433":"Q113544055","P1476":{"text":"Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems)","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-1843/146-150.pdf","P50":[],"P2093":[{"value":"Alexander Kolchin","qualifiers":{"P1545":"1"}},{"value":"Stepan Potiyenko","qualifiers":{"P1545":"2"}},{"value":"Alexander A. Letichevsky","qualifiers":{"P1545":"3"}}]}}