Techniques for Partial Specification and Specification of Switching Systems

• Authors:

• Pamela Zave;Michael Jackson

• Affiliations:

• -;-

• Venue:
• Proceedings of the Z User Workshop
• Year:
• 1991