Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Luca Mearelli
Università di Pisa, Italy

E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
/jucs_3_5/integrating_asm
page 603 - 665
Vol.3 / Issue 5
L. Mearelli:
Refining an ASM Specification of the Production Cell to C++ Code
/jucs_3_5/production_cell
page 666 - 688
Vol.3 / Issue 5