_id,doi,title
4384,10.1145/1375581.1375626,Model checking transactional memories
4386,10.1007/978-3-540-87779-0_21,Permissiveness in transactional memories
4387,10.1007/978-3-540-85361-9_6,Completeness and nondeterminism in model checking transactional memories
4397,,CSIsat: Interpolation for LA+EUF
4400,1545,Security Evaluation of ES&S Voting Machines and Election Management System
4409,,Games for the verification of timed systems
4415,,Compositionality in deterministic real-time embedded systems
4452,10.1007/978-3-540-89439-1_24,Valigator: A verification tool with bound and invariant generation
4509,10.1098/rsta.2008.0141,Two challenges in embedded systems design: Predictability and robustness
4521,10.1145/1328438.1328459,Proving non-termination
4524,,A hierarchical coordination language for reliable real-time tasks
4527,10.1007/978-3-540-68413-8_2,Bounded asynchrony: Concurrency for modeling cell-cell interactions
4532,10.1142/S0129054108005814 ,Equivalence of labeled Markov chains
4533,10.1145/1450058.1450070,Interface theories with component reuse
4534,10.1016/j.ipl.2007.08.035,Reduction of stochastic parity to stochastic mean-payoff games
4546,10.1145/1403375.1403595,Logical reliability of interacting real-time tasks
4548,10.1007/s00182-007-0110-5,Stochastic limit-average games are in EXPTIME
2451,,Auxin - Universal development signal in plant life
2462,10.1199/tab.0108,Polar auxin transport and asymmetric auxin distribution
2495,10.1002/cne.21216,Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum