https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 A practical approach for testing timed deterministic finite state machines with single clock https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000471150 Tue 11 Dec 2018 09:52:17 KRAT ]]>