An analysis of two formal methods: RSL and Z Conferences

authors

• Chen, Yihai
• Miao, HK

status

• published 

publication date

• September 1, 2001

has subject area

• General Science & Technology (Science Metrix)

published in

• Journal of Shanghai University  Journal

start page

• 172

end page

• 176

volume

• 5

issue

• SUPPL. SEPT.