A Linear Local Model Checking Algorithm for CTL

Bart Vergauwen, Johan Lewi. A Linear Local Model Checking Algorithm for CTL. In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 447-461, Springer, 1993.

Authors

Bart Vergauwen

This author has not been identified. Look up 'Bart Vergauwen' in Google

Johan Lewi

This author has not been identified. Look up 'Johan Lewi' in Google