Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2006 | Conference (Editor) | LibreCat-ID: 3226
Gorrieri, Roberto, and Heike Wehrheim, editors. Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006, doi:10.1007/11768869.
LibreCat
| DOI