Formal Derivation of CSP Programs From Temporal Specifications (1995)

Cached

Download Links

by Rudolf Berghammer , Burghard Von Karger
Venue:In Mathematics of Program Construction
Citations:11 - 1 self