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

Coordination Models and Languages
584,-

Practical Aspects of Declarative Languages
431,-

Rewriting Logic and Its Applications
584,-

Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Static Analysis
584,-

Application and Theory of Petri Nets and Concurrency
584,-

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

Coordination Models and Languages
584,-

Practical Aspects of Declarative Languages
431,-

Rewriting Logic and Its Applications
584,-

Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Static Analysis
584,-

Application and Theory of Petri Nets and Concurrency
584,-