Liveness in Timed and Untimed Systems (1994)

by Rainer Gawlick , Roberto Segala , Jørgen Søgaard-Andersen , Nancy Lynch
Citations:82 - 16 self