Results for Weak bisimulation

Publications & Outputs

1. Multi-scale verification of distributed synchronisation

   Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 1/11/2020, In: Formal Methods in System Design. 55, p. 171–221 51 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review