Deadlock-freedom of scientific applications using strict colored FIFO nets Conference Paper uri icon

start page

  • 0102

end page

  • 0107