Integrating Decision Procedures for Temporal Verification, PhD Thesis
Nikolaj Bjorner
Postscript
,
PDF
. © 1998, Nikolaj Bjorner.
Last modified: Thu Mar 29 11:04:37 PST 2001