Temporal Logic with Fixed Points

Behnam Banieqbal (Editor), Howard Barringer (Editor), Amir Pnueli (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this