Wendelin Serwe

Identifiers

No identifiers captured yet.

Papers (2)

1. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation cs.LO · 2018 · author #3
2. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark cs.PL · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Hubert Garavel 1 shared papers
• John P. Gallagher 1 shared papers
• Rob van Glabbeek 1 shared papers