Applying a new decomposition method to verify communication protocols Academic Article uri icon

publication date

  • January 1998