Predicate diagrams as basis for the verification of reactive systems - Nugraheni, Cecilia E. (Hieronymus, 2004)
Zugl.: München, Univ., Diss., 2004. - Mit engl. und dt. Zsfassung