Algebraic Implementation of Model Checking Algorithms.

Teodor Rus and Eric Van Wyk,

Proceedings of 3rd AMAST Workshop on Real-Time Systems, pp. 267-279, 1996.

PDF