Probabilistic verification of Herman's self-stabilisation algorithm

Research output: Contribution to journalArticlepeer-review

Colleges, School and Institutes

Details

Original languageEnglish
JournalFormal Aspects of Computing
Publication statusPublished - 2012