_id,doi,title
9393,10.1007/s10703-021-00373-5,Faster algorithms for quantitative verification in bounded treewidth graphs
4460,10.1023/A:1026228213080,From pre-historic to post-modern symbolic model checking
4599,10.1023/A:1008767206905,Partial-order reduction in symbolic state-space exploration
4582,10.1023/A:1008739929481,Reactive modules
4607,10.1023/A:1008626013578,Computing accumulated delays in real-time systems