Inter−agent Data Flow Analysis of Abstract State Machines
Alessandra Cavarra
Book Title
20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia
ISBN
978−0−7695−3599−9
Pages
237−245
Publisher
IEEE Computer Society
Year
2009