Model checking of a real ATM switch.

Jianping Lu, Sofine Tahar, Dan Voicu, Xiaoyu Song

Browse the full ICCD paper archive.