In: Formal Methods in System Design, 2010, vol. 36, no. 3, p. 223-245
|
In: Monthly Notices of the Royal Astronomical Society, 2006, vol. 367, no. 2, p. 781-800
|
In: Monthly Notices of the Royal Astronomical Society, 2011, vol. 411, no. 3, p. 2099-2112
|
In: Proceedings of the International Astronomical Union, 2014, vol. 10, no. S309, p. 285-286
|
In: Monthly Notices of the Royal Astronomical Society, 2008, vol. 388, no. 2, p. 697-708
|
In: Monthly Notices of the Royal Astronomical Society, 2003, vol. 338, no. 2, p. 465-480
|
In: Monthly Notices of the Royal Astronomical Society, 2007, vol. 377, no. 4, p. 1737-1746
|
In: Monthly Notices of the Royal Astronomical Society, 1998, vol. 301, no. 2, p. 419-434
|
In: Monthly Notices of the Royal Astronomical Society, 2009, vol. 398, no. 4, p. 1706-1714
|
In: Proceedings of the International Astronomical Union, 2007, vol. 3, no. S245, p. 27-30
|