DOI,IST REx ID,Title of publication
10.1007/3-540-44685-0_24,4632,Compositional methods for probabilistic systems
10.1007/3-540-44685-0_36,4633,Symbolic algorithms for infinite-state games
10.1007/3-540-44685-0_38,4634,"The control of synchronous systems, Part II"