@书籍{zbMATH05126094，作者={Pulverm{\“u}ller，Elke}，标题={验证{Komponenten}-基本{Systemen}auf{Basis}eines erweiterten temporalen{Verifikationsverfahrens}}，年份={2006}，出版商={Jena：耶拿大学，Fakult{\“a}tf{\”u}r Mathematik und Informatik（论文）}，语言={德语}，关键词={68Q60,03B44,68-02}，zbMATH={5126094}，Zbl=｛1104.68529｝}