Behavioral Modeling of an ATM Switch using SpecCharts.

A Sriram, Fadi J. Kurdahi

Browse the full VLSID paper archive.