Peter H\"ofner (Data61

Identifiers

No identifiers captured yet.

Papers (2)

1. Analysing Mutual Exclusion using Process Algebra with Signals cs.LO · 2017 · author #8
2. Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Rob van Glabbeek (Data61 2 shared papers
• Australia) 1 shared papers
• CSIRO 1 shared papers
• CSIRO) 1 shared papers
• France) 1 shared papers
• Paris 1 shared papers
• Sydney 1 shared papers
• Victor Dyseryn (Ecole Polytechnique 1 shared papers