Vol-2325⫷ Vol-2326 ⫸Vol-2327
urn:nbn:de:0074-2326-0


Vol-2326/paper13⫷Vol-2326/paper14⫸Vol-2326/paper15
Aissam BelghiatAllaoua Chaoui

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose