International Conference on Formal Methods for Open Object-Based Distributed Systems - 最新文献
Pub Date : 2008-06-04
DOI: 10.1007/978-3-540-68863-1_6
J. Derrick, G. Schellhorn, H. Wehrheim
Pub Date : 2008-06-04
DOI: 10.1007/978-3-540-68863-1_8
Alexander Gruler, M. Leucker, K. Scheidemann
Pub Date : 2008-06-04
DOI: 10.1007/978-3-540-68863-1_13
Jan Schäfer, A. Poetzsch-Heffter
查看全部