HAVELUND, K., & ROSU, G. (2004, January 1). Efficient monitoring of safety properties. 6(2). Berlin: Springer, 2004. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16328061
ISO-690 (author-date, English)HAVELUND, Klaus and ROSU, Grigore, 2004. Efficient monitoring of safety properties. In: [online]. Berlin: Springer, 2004. 1 January 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16328061
Modern Language Association 9th editionHAVELUND, K., and G. ROSU. Efficient monitoring of safety properties. no. 2, Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16328061.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HAVELUND, K. and ROSU, G. (2004), “Efficient monitoring of safety properties”, in , Vol. 6, Berlin: Springer, 2004., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16328061.