Modeling and Verification of a CORBA-based Object Management System.

O-Hoon Choi, Doo-Kwon Baik

Browse the full PDPTA paper archive.