Todorova Magdalina

New developments in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Volume II: applications * Model checker of object-oriented programs based on generalized nets