DOI,IST REx ID,Title of publication
10.1023/A:1008767206905,4599,Partial-order reduction in symbolic state-space exploration
10.1109/ICSE.2001.919196,4600,jMocha: A model-checking tool that exploits design structure
10.1145/503209.503226,4622,Interface automata
10.1007/3-540-45449-7_11,4623,Interface theories for component-based design
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"
null,4635,MCWEB: A model-checking tool for web-site debugging
10.1109/LICS.2001.932504,4636,From verification to control: dynamic programs for omega-regular objectives