Temporal Logic in Specification

InhaltsangabeComparing linear and branching time temporal logics.- Interleaving set temporal logi...