Specifying and Verifying the Parlay Call−Control Using ASMs
Paolo Falcarin and Alessandra Cavarra
Details
| 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 |
Links
Related pages
|
People |