https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Conformance relations for finite state machines with timeouts https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524769 Mon 30 Sep 2019 10:11:02 KRAT ]]>