Skip to content

Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract).

Rob van Glabbeek

Year2019
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.