Publications

Reversing concurrent systems into formal specifications

• • K.R.P.H. Leung
  • C.F.S. Yim
• 1994
• ASPCE 1994