

Machines, Computations, and Universality
1 826,-

Verification, Model Checking, and Abstract Interpretation
971,-

Algorithmic Aspects of Cloud Computing
611,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Verification, Model Checking, and Abstract Interpretation
791,-

Machines, Computations, and Universality
584,-

Transactions on Petri Nets and Other Models of Concurrency X
584,-

Machines, Computations, and Universality
1 826,-

Verification, Model Checking, and Abstract Interpretation
971,-

Algorithmic Aspects of Cloud Computing
611,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Verification, Model Checking, and Abstract Interpretation
791,-

Machines, Computations, and Universality
584,-

Transactions on Petri Nets and Other Models of Concurrency X
584,-















