From UML Towards Petri Nets to Specify and Verify.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Browse the full ICINCO paper archive.