Sanne Wouda

According to our database, Sanne Wouda authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics.

Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015