TY - BOOK ID - 5202811 TI - Temporal verification of reactive systems : safety AU - Manna, Zohar AU - Pnueli, Amir PY - 1995 SN - 0387944591 9780387944593 PB - New York (N.Y.): Springer, DB - UniCat KW - Computer software KW - Parallel processing (Electronic computers) KW - Logiciels KW - Parallélisme (Informatique) KW - Verification KW - Vérification KW - Verification. KW - Parallel processing (Electronic computers). KW - Parallélisme (Informatique) KW - Vérification KW - Computer software - Verification KW - Computer software - verification UR - https://www.unicat.be/uniCat?func=search&query=sysid:5202811 AB - ER -