RUS
ENG
Full version
PEOPLE
Podyachev Alexey Yur'evich
Publications in Math-Net.Ru
Coverage methods in IDEF-0 models verification
Tr. SPIIRAN
,
5
(2007),
275–283
©
Steklov Math. Inst. of RAS
, 2024