Login / Signup

A Temporal Logic for Multilevel Reasoning about Hardware.

Ben C. Moszkowski
Published in: Computer (1985)
Keyphrases