
Application and Theory of Petri Nets and Concurrency
584,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Formal Methods and Software Engineering
584,-

The Application of Formal Methods
737,-

Computer Aided Verification
1 124,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Formal Methods and Software Engineering
584,-

The Application of Formal Methods
737,-

Computer Aided Verification
1 124,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-