DaftarIsitemplate

Call Number

SEM-376

Title

Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23)

Author

Frank Puhlmann;

Publisher

Subject

Location