Specifying and Verifying the Parlay Call−Control Using ASMs
Paolo Falcarin and Alessandra Cavarra
Book Title
Abstract State Machines‚ Advances in Theory and Practice‚ 10th International Workshop‚ ASM 2003‚ Taormina‚ Italy‚ March 3−7‚ 2003‚ Proceedings
Editor
Egon Börger and Angelo Gargantini and Elvinia Riccobene
ISBN
3−540−00624−9
Pages
411−412
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2589
Year
2003