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