Showing 1 - 4 results of 4 for search 'Lechner, A', query time: 0.02s
Refine Results
-
1
Extensions of Presburger arithmetic and model checking one-counter automata by Lechner, A
Published 2016Thesis -
2
Model checking flat freeze LTL on one-counter automata by Lechner, A, Mayr, R, Ouaknine, J, Pouly, A, Worrell, J
Published 2016Conference item -
3
Text2PreventCVD: protocol for a systematic review and individual participant data meta-analysis of text message-based interventions for the prevention of cardiovascular diseases. by Chow, C, Islam, S, Farmer, A, Bobrow, K, Maddision, R, Whittaker, R, Dale, L, Lechner, A, Niessen, L, Lear, S, Eapen, Z, Santo, K, Stepien, S, Redfern, J, Rodgers, A
Published 2016Journal article -
4
Mobile phone text-messaging interventions aimed to prevent cardiovascular diseases (Text2PreventCVD): systematic review and individual patient data meta-analysis. by Shariful Islam, S, Farmer, A, Bobrow, K, Maddison, R, Whittaker, R, Pfaeffli Dale, L, Lechner, A, Lear, S, Eapen, Z, Niessen, L, Santo, K, Stepien, S, Redfern, J, Rodgers, A, Chow, C
Published 2019Journal article