On the siphon-based characterization of liveness in sequential resource allocation systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
Hi-index | 0.00 |