Parallel composition of nondeterministic Finite State Machines with Timeouts Academic Article uri icon

publication date

  • June 1, 2014

published in

  •