Login / Signup

A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.

Zuohua DingYuan ZhouMingyue JiangMengChu Zhou
Published in: IEEE Trans. Syst. Man Cybern. Syst. (2015)
Keyphrases