Surrey researchers Sign in
Managing LTL properties in Event-B refinement.
Journal article

Managing LTL properties in Event-B refinement.

S Schneider, H Treharne, H Wehrheim and DM Williams
CoRR, Vol.abs/14
2014

Metrics

17 Record Views

Details

Usage Policy