Toon 1 - 1 resultaten van 1 Voor zoekopdracht 'Pnueli, Amir', zoektijd: 0,01s Verfijn jouw resultaten
  1. 1
    The Temporal logic of reactive and concurrent systems
    door Manna, Zohar, Pnueli, Amir
    Gepubliceerd in 1992
    Printed Book
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen