Verification of CORBA systems with composition of Well Formed Nets.

Clment Delamare, Yvon Gardan, Patrice Moreaux

Browse the full OPODIS paper archive.