DocumentCode
1370667
Title
Selected papers from the second IFIP Int´l conference on formal methods for open object based distributed systems, 1997
Author
Bowman, Howard ; Derrick, John ; Brinksma, Ed
Author_Institution
The University of Kent at Canterbury
Volume
26
Issue
7
fYear
2000
fDate
7/1/2000 12:00:00 AM
Firstpage
577
Lastpage
578
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.2000.859528
Filename
859528
Link To Document