Treffer: Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
Title:
Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
Authors:
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 26(7):577-578 Jul, 2000
Database:
IEEE Xplore Digital Library