A design concept for verified concurrent controllers Academic Article uri icon

publication date

  • August 1, 1991