howard barringer
Advances in Temporal Logic
Print on DemandTime is a fascinating subject and has long since captured mankind's imagination, from the ancient...
Temporal Logic in Specification
Print on DemandInhaltsangabeComparing linear and branching time temporal logics.- Interleaving set temporal logi...
A Survey of Verification Techniques for Parallel Programs
Print on DemandInhaltsangabeFlow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfe...
Advances in Temporal Logic
Print on DemandTime is a fascinating subject and has long since captured mankind's imagination, from the ancient...
Runtime Verification
Besorgungstitel - wird vorgemerktThis volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...
- 1