
Asynchronous Many-Task Systems and Applications
611,-

Computer Aided Verification
584,-

Computer Aided Verification
1 124,-

Rebeca for Actor Analysis in Action
791,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Implementation and Application of Automata
674,-

Engineering Trustworthy Software Systems
584,-

Asynchronous Many-Task Systems and Applications
611,-

Computer Aided Verification
584,-

Computer Aided Verification
1 124,-

Rebeca for Actor Analysis in Action
791,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Implementation and Application of Automata
674,-

Engineering Trustworthy Software Systems
584,-