Norman G. Depledge;William A. Turner;Alexandra Woog
-;-;-
Legacy object modeling speeds software integration
Communications of the ACM
Model checking systems of replicated processes with spin
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software