Techniques for Partial Specification and Specification of Switching Systems.

Pamela Zave, Michael Jackson

Browse the full FM paper archive.