Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study.

Boleslaw Mikolajczak

Browse the full SEKE paper archive.