_id,doi,title
4381,10.1109/CLOUD.2010.71,FlexPRICE: Flexible provisioning of resources in a cloud environment
4382,10.1145/1810479.1810529,Transactions in the jungle
4388,10.1007/978-3-642-14295-6_57,GIST: A solver for probabilistic games
4389,10.1109/ACSD.2010.26,Robustness of sequential circuits
4390,10.1007/978-3-642-14295-6_41,Model checking of linearizability of concurrent list implementations
4392,10.1007/978-3-642-13754-9_3,Quantitative Simulation Games
4393,10.1007/978-3-642-15375-4_18,Simulation distances
4395,10.1007/978-3-642-11970-5_7,Verifying local transformations on relaxed memory models
4396,10.1007/978-3-642-12029-9_19,Shape refinement through explicit heap analysis