[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Polynomial Approximations for Model Checking
- 作者Broy, Manfred; Zamulin, Alexandre V.
- 文件大小132.25KB
- 发表时间2003
- DOI10.1007/978-3-540-39866-0_39
- 页码395-400
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 ||Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Principles for Entity AuthenticationBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || OCL Extended with Temporal LogicBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Integrating and Managing Conflicting DataBjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Unfoldings of Coloured Petri NetsBjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Partial Evaluation for Common Intermediate LanguageBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Functional Dependencies, from Relational to XMLBroy, Manfred; Zamulin, Alexandre V. · 2003