Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework

Howard Barringer, Ruurd Kuiper, Stephen D Brookes (Editor), A W Roscoe (Editor), Glynn Winskel (Editor)

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

    Cite this