"Decoupling Synchronization from Local Control for Efficient Symbolic Model ..."

William Chan et al. (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics