Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints.

Frederick C. Furtek

Browse the full CADE paper archive.