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