Skip to main content

Acta Informatica

Ausgabe 11/2000

Inhalt (2 Artikel)

Original articles

Verification of clocked and hybrid systems

Yonit Kesten, Zohar Manna, Amir Pnueli

Premium Partner