Grumberg, Orna.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Logics and languages for reliability and security
by:
Grumberg, Orna.; Spanfelner, Bernd.; Workshop on the Preservation of Stability under Discretization ((2001 :); Esparza, Javier.
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Grumberg, Orna.
(書目-語言資料,印刷品)
Software safety and security = tools for analysis and verification /
by:
NATO Emerging Security Challenges Division.; Workshop on the Preservation of Stability under Discretization ((2001 :); Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; Grumberg, Orna.
(書目-語言資料,印刷品)