Login / Signup

On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.

ZhiWu LiHesuan Hu
Published in: Comput. Ind. Eng. (2009)
Keyphrases