Fairness Verification of BOM-Based Composed Models Using Petri Nets.

Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi

Browse the full PADS paper archive.