Inproceedings,

An Efficient Technique for Deadlock Analysis of Large Scale Process Networks.

, and .
FME, volume 1313 of Lecture Notes in Computer Science, page 418-441. Springer, (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews