scientific article; zbMATH DE number 1305046
From MaRDI portal
Publication:4251979
zbMath0928.03012MaRDI QIDQ4251979
M. D. Fisher, R. I. Scott, John A. Keane
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicautomated theorem provingparallel processesshared memory parallel systemstemporal tableau method
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication:
