Submitted on: 13 February 2000.
Revised on: 07 March 2000.
Accepted on: 21 March 2000.
___________________FORMAL METHODS IN SYSTEM DESIGN
Submitted on: 31 May 2024.
Revised on: 15 July 2024.
Accepted on: 25 August 2024.
___________________FORMAL METHODS IN SYSTEM DESIGN
Submitted on: 19 May 2009.
Revised on: 14 August 2009.
Accepted on: 24 September 2009.
___________________FORMAL METHODS IN SYSTEM DESIGN
Submitted on: 10 June 2000.
Revised on: 15 July 2000.
Accepted on: 06 September 2000.
___________________FORMAL METHODS IN SYSTEM DESIGN
http://reply.papertrans.cn/2/101/10037/10037-35.png
Submitted on: 10 October 2004.
Revised on: 30 December 2004.
Accepted on: 13 January 2005.
___________________FORMAL METHODS IN SYSTEM DESIGN