
Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022
584,-

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022
584,-

Automated Technology for Verification and Analysis
584,-

Web Information Systems Engineering - WISE 2021
1 124,-

Formal Techniques for Distributed Objects, Components, and Systems
737,-

Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022
584,-

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022
584,-

Automated Technology for Verification and Analysis
584,-

Web Information Systems Engineering - WISE 2021
1 124,-

Formal Techniques for Distributed Objects, Components, and Systems
737,-












