СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

=LDR  00000cx\\j22001693\\45\\
=001  BY-NLB-ar4123473
=005  20110506120750.1
=100  \\$a20110504arusy50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aMODEL CHECKING МЕТОД
=550  \\$5w$3BY-NLB-ar4123488$aMODEL CHECKING МЕТАД
=686  \\$2rugasnti$a50/05/41
=801  \0$aBY$bBY-HM0000$c20110504
=810  \\$aMODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. ― Санкт-Петербург, 2010.
=836  \\$bЗаменить поле 610. (См. Model checking )$d20110504
=999  \\$f28$t20110504
=999  \\$h742$t20110506