"Logiciels Vérification." . . "Logiciels - Vérification." . "Lógica simbólica matemática." . . "logiciel vérification logique temporelle multitraitement." . . "Programming Techniques." . . "Mathematische logica." . . "Programozás elmélet logikai." . . "Verifikation." . . "vérification logiciel." . . . . "allocation ressource." . . "programmation structurée." . . "logique temporelle." . . "Programmverifikation." . . "Programmering." . . "Verifikation <EDV>" . . "Parallelverarbeitung." . . "Verifikation (Datenverarbeitung)" . . "programme parallèle." . . "Programmierung." . . "Simultanverarbeitung." . . "Parallelverarbeitung <EDV>" . . "Parallélisme (Informatique)" . . "Logics and Meanings of Programs." . . . . . . . . . . . "Verifying concurrent processes using temporal logic" . . . "Verifying concurrent processes using temporal logic"@en . . . . . . . . . . . . . . . . . . . "Verifying concurrent prcesses [sic] using temporal logic"@en . . . . . . . . . . . . . "VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC"@it . . . . . . . . . . . . . . . . . . . . . . . . "Verifying concurrent processes using temporal logic"@en . . . . . . . . "Verifying Concurrent Processes Using Temporal Logic" . "Verifying Concurrent Processes Using Temporal Logic"@en . . . . . . . . . . . "heuristique." . . "protocole réseau." . . "Computer Science." . .