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

Book chapter

Transition Systems Reduction: Balancing between Precision and Simplicity

In book

Netherlands: Springer International Publishing AG, 2017.