F. Moler

Selective Head Cooling After Neonatal Encephalopathy

F. Moler, 2005 .

Combining event-based and state-based modelling for railway verification

Markus Roggenbach, Steve A. Schneider, Helen Treharne, 2012 .