Search academic texts

Information × Registration Number 0113U000071, ( 0216U003108  ) R & D request Title To develop the algorithms for the verification of structured systems with mobile agents. Head Летичевський Олександр Адольфович, Registration Date 18-01-2013 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-10 Close