Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), Florence, Italy, 15-18 February 1999

被引：0

|

作者：

机构：

来源：

Bulletin of the European Association for Theoretical Computer Science | / 64期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 2 条

[1] IFIP International Conference on Formal Techniques for Distributed Systems joint with 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009
Lect. Notes Comput. Sci., (1-248):
[2] Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997
Bowman, H
Derrick, J
Brinksma, E
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 577 - 578