Compositional Verification in Linear-Time Temporal Logic.

Yih-Kuen Tsay

Browse the full FOSSACS paper archive.