















Computer Aided Verification
1 124,-

Algorithms and Architectures for Parallel Processing
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Application and Theory of Petri Nets and Concurrency
791,-

Models, Languages, and Tools for Concurrent and Distributed Programming
584,-

Application and Theory of Petri Nets and Concurrency
949,-

High Performance Embedded Architectures and Compilers
584,-

Distributed Computer and Communication Networks
854,-

Application and Theory of Petri Nets and Concurrency
854,-

Computer Aided Verification
1 124,-

Algorithms and Architectures for Parallel Processing
584,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Application and Theory of Petri Nets and Concurrency
791,-

Models, Languages, and Tools for Concurrent and Distributed Programming
584,-

Application and Theory of Petri Nets and Concurrency
949,-

High Performance Embedded Architectures and Compilers
584,-

Distributed Computer and Communication Networks
854,-

Application and Theory of Petri Nets and Concurrency
854,-