Conference Proceedings

Transition systems reduction: Balancing between precision and simplicity

SA Shershakov, AA Kalenkova, IA Lomazova

CEUR Workshop Proceedings | CEUR Workshop Proceedings | Published : 2016