Online model checking mechanism and its applications / by Yuhong Zhao. Paderborn
Inhalt