Models and logic of MOS circuits

• Authors:

• G. Winskel

• Affiliations:

• -

• Venue:
• Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
• Year:
• 1987