Series International Conference on Application of Concurrency to System Design. Proceedings
From CERES
A list of all pages that have property "Series" with value "International Conference on Application of Concurrency to System Design. Proceedings"
- Publications:Order-independence of vector-based transition systems +
- Publications:Process algebraic verification of SystemC codes +
- Publications:Sarir : a Rebeca to mCRL2 translator +
- Publications:Throughput analysis of synchronous data flow graphs +
