Skip to main content
Top

Acta Informatica

Issue 11/2000

Content (2 Articles)

Original articles

Verification of clocked and hybrid systems

Yonit Kesten, Zohar Manna, Amir Pnueli

Premium Partner