• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Technology Aspects of State Explosion Problem Resolving for Industrial Software Design

P. 46-51.
Drobintsev P., Kotlyarov V. P., Nikiforov I. V.