Identifying state space reduction techniques from behavioural design patterns Conference Paper uri icon

publication date

  • 2011