"Automatic Generation of Behavioral Models from Switch-Level Descriptions."

David T. Blaauw et al. (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics