Title, Petri nets: model checking, unfoldings and the observable configuration graph. Student, M. Barthel. Programme, Master Computer Science.
確定! 回上一頁